LC PROGRAM
Days: Monday, July 14th Tuesday, July 15th Wednesday, July 16th Thursday, July 17th Friday, July 18th Saturday, July 19th
Monday, July 14th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-09:15 Session 37: VSL Opening
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | Welcome Address by the Rector (abstract) |
| 08:50 | Welcome Address by the Organizers (abstract) |
| 08:55 | VSL Opening (abstract) |
09:15-10:15 Session 38: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 09:15 | VSL Keynote Talk: Computational Ideas and the Theory of Evolution (abstract) |
10:15-10:45Coffee Break
11:00-13:00 Session 39: Tutorial and invited talk
Location: MB, Prechtlsaal
| 11:00 | Tutorial on Stategic and Extensive Games 1 (abstract) |
| 12:00 | Applications of admissible computability (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 41E: Special session: Logic of Games and Rational Choice
Location: MB, Hörsaal 15
| 14:30 | The DNA of logic and games. (abstract) |
| 15:15 | Dependence and independence - a logical approach (abstract) |
14:30-16:00 Session 41F: Special session: Model Theory
Location: MB, Aufbaulabor
| 14:30 | Pregeometries and definable groups (abstract) |
| 15:15 | Quasiminimal structures and excellence (abstract) |
14:30-16:00 Session 41G: Special session: Recursion Theory
Location: MB, Seminarraum 212/232
| 14:30 | Uniform and non-uniform reducibilities of algebraic structures (abstract) |
| 15:15 | Randomness in the Weihrauch degrees (abstract) |
14:30-16:00 Session 41H: Special session: Perspectives on Induction (joint with CSL-LICS)
Location: MB, Prechtlsaal
| 14:30 | Inductive Proofs & the Knowledge They Represent (abstract) |
| 15:15 | Decidable languages for knowledge representation and inductive definitions: From Datalog to Datalog+/- (abstract) |
16:00-16:30Coffee Break
16:30-18:30 Session 42F: Contributed talks A1
Location: MB, Hörsaal 14
| 16:30 | Natural deduction for intuitionistic differential linear logic (abstract) |
| 16:50 | An outline of intuitionistic epistemic logic (abstract) |
| 17:10 | Some properties related to the existence property in intermediate predicate logics (abstract) |
| 17:30 | On Hallden complete modal logics determined by homogeneous frames (abstract) |
| 17:50 | A universal diagonal schema by fixed-points and Yablo’s paradox (abstract) |
| 18:10 | Canonical extensions and prime filter completions of poset expansions. (abstract) |
16:30-18:30 Session 42G: Contributed talks B1
Location: MB, Hörsaal 15
| 16:30 | On the compactness theorem in many valued logics (abstract) |
| 16:50 | Formalizing vagueness as a doxastic, relational concept (abstract) |
| 17:10 | Two Formalisms for a Logic of Generalized Truth Values (abstract) |
| 17:30 | Characterising Logics through their Admissible Rules (abstract) |
| 17:50 | Models for the probabilistic sequent calculus (abstract) |
| 18:10 | Display-type calculi for non classical logics (abstract) |
16:30-18:30 Session 42H: Contributed talks C1
Location: MB, Zeichensaal 15
| 16:30 | Complexity bounds for Multiagent Justification Logic (abstract) |
| 16:50 | The relation between the graphs structures and proof complexity of corresponding Tseitin graph tautologies (abstract) |
| 17:10 | The algorithmic complexity of decomposability in fragments of first-order logic (abstract) |
| 17:30 | Type equations and second order logic (abstract) |
| 17:50 | An intuitive semantics for {Full Intuitionistic Linear Logic} (abstract) |
| 18:10 | Argumentation Logic (abstract) |
16:30-18:30 Session 42I: Contributed talks D1
Location: MB, Seminarraum 5
| 16:30 | On the existential interpretability of structures (abstract) |
| 16:50 | The isomorphism problem for computable projective planes (abstract) |
| 17:10 | Coding graphs into fields (abstract) |
| 17:30 | Uniformization in the hereditarily finite list superstructure over the real exponential field (abstract) |
| 17:50 | Dynamic logic on approximation spaces (abstract) |
| 18:10 | On limitwise monotonic reducibility of Σ^0_2-sets. (abstract) |
16:30-18:30 Session 42J: Contributed talks E1
Location: MB, Seminarraum 2
| 16:30 | Relativized universal numberings (abstract) |
| 16:50 | Ideals without minimal numberings in the Rogers semilattice (abstract) |
| 17:10 | Computable numberings in Analytical Hierarchy (abstract) |
| 17:30 | Definability of 0' in the structure of $\omega$-enumeration degrees (abstract) |
| 17:50 | Embedding the omega-enumeration degrees into the Muchnik degrees generated by spectra of structures (abstract) |
| 18:10 | Limitwise monotonic sets of reals (abstract) |
16:30-18:30 Session 42K: Contributed talks F1
Location: MB, Seminarraum 212/232
| 16:30 | An Intuitionistic Interpretation of Classical Implication (abstract) |
| 16:50 | Predicate Glivenko theorems and substructural aspects of negative translations (abstract) |
| 17:10 | Adding a Conditional to Kripke's Theory of Truth (abstract) |
| 17:30 | Constructive completeness and Joyal's theorem (abstract) |
| 17:50 | Algorithmic-algebraic canonicity for mu-calculi (abstract) |
| 18:10 | Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract) |
16:30-18:30 Session 42L: Contributed talks G1
Location: MB, Seminarraum 3
| 16:30 | On Explicit-Implicit Reflection Principles. (abstract) |
| 16:50 | Ordinal Notations and Fundamental Sequences in Caucal Hierarchy (abstract) |
| 17:10 | The maximal order type of the trees with the gap-embeddability relation (abstract) |
| 17:30 | Computational reverse mathematics and foundational analysis (abstract) |
| 17:50 | Semantic completeness of first order theories in constructive reverse mathematics (abstract) |
| 18:10 | Reverse Mathematics, more explicitly (abstract) |
16:30-18:30 Session 42M: Contributed talks H1
Location: MB, Seminarraum 4
| 16:30 | A computability approach to three hierarchies (abstract) |
| 16:50 | A generalization of Solovay's Sigma-construction with application to intermediate models (abstract) |
| 17:10 | A new lower bound for the length of the hierarchy of norms (abstract) |
| 17:30 | Unraveling $\Sigma^0_\alpha(\Pi^1_1)$-Determinacy (abstract) |
| 17:50 | Determinacy of Refinements to the Difference Hierarchy of Co-analytic sets (abstract) |
| 18:10 | On proof complexities of strong equal modal tautologies. (abstract) |
16:30-18:30 Session 42N: Contributed talks I1
Location: MB, Seminarraum 6
| 16:30 | Reducts of simple (non-collapsed) Fraisse-Hrushovski constructions (abstract) |
| 16:50 | On Jonsson sets and some their properties. (abstract) |
| 17:10 | Ultraproduct construction of representative utility functions with infinite-dimensional domain (abstract) |
| 17:30 | An axiomatic approach to modelling of orders of magnitude (abstract) |
| 17:50 | Elementary numerosities and measures. (abstract) |
16:30-18:30 Session 42P: Contributed talks J1
Location: MB, Seminarraum 7
| 16:30 | Differential Galois theory in the class of formally real fields. (abstract) |
| 16:50 | Around n-dependent fields (abstract) |
| 17:10 | Some remarks on $\aleph_0$-categorical weakly circularly minimal structures (abstract) |
| 17:30 | Uniqueness of limit models in metric abstract elementary classes under categoricity and some consequences in domination and orthogonality of Galois types (abstract) |
| 17:50 | Amalgamation, characterizing cardinals and locally finite Abstract Elementary Classes (abstract) |
| 18:10 | Computing the number of types of infinite tuples (abstract) |
20:00-21:30 Session 44: VSL Opening Reception
Location: Rathaus
Tuesday, July 15th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 46: Invited talk
Location: MB, Prechtlsaal
| 09:15 | Definability, automorphisms and enumeration degrees (abstract) |
10:15-10:45Coffee Break
11:00-13:00 Session 48: Tutorial and Karp prize winner
Location: MB, Prechtlsaal
| 11:00 | Tutorial on Stategic and Extensive Games 2 (abstract) |
| 12:00 | Logic meets number theory in o-minimality (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 50G: Special session: Logic of Games and Rational Choice
Location: MB, Hörsaal 15
| 14:30 | Elections and knowledge (abstract) |
| 15:15 | Nash equilibrium semantics for Independence-Friendly Logic (abstract) |
14:30-16:00 Session 50H: Special session: Recursion Theory
Location: MB, Seminarraum 212/232
| 14:30 | UD-randomness and the Turing degrees (abstract) |
| 15:15 | On finitely presented expansions of groups and algebras (abstract) |
14:30-16:00 Session 50I: Special session: Set Theory
Location: MB, Aufbaulabor
| 14:30 | Matrix iterations and Cichoń's diagram (abstract) |
| 15:15 | Regular cross-sections of Borel flows (abstract) |
14:30-16:00 Session 50J: Special Session: The Place of Logic in Computer Science Education
Location: MB, Prechtlsaal
| 14:30 | The place of logic in computer science education (abstract) |
16:00-16:30Coffee Break
16:30-18:30 Session 52F: Contributed talks A2
Location: MB, Hörsaal 14
| 16:30 | Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity theories (abstract) |
| 16:50 | Towards a Conditional for The Liar and the Sorites. (abstract) |
| 17:10 | On graph calculus approach to modalities (abstract) |
| 17:30 | Complexity of generalized grading with inverse relations and intersection of relations (abstract) |
| 17:50 | Fuzzy Bsimulation for Standard Godel Modal Logic (abstract) |
| 18:10 | Hybrid extensions of S4 with the finite model property (abstract) |
16:30-18:30 Session 52G: Contributed talks B2
Location: MB, Hörsaal 15
| 16:30 | Almost structurally complete consequence operations extending S4.3 (abstract) |
| 16:50 | Truth theory for logic of self-reference statements as a quaternion structure (abstract) |
| 17:10 | A Routley-Meyer semantics for Göodel 3-valued logic G3 (abstract) |
| 17:30 | Blocking the routes to triviality with depth relevance (abstract) |
16:30-18:30 Session 52H: Contributed talks C2
Location: MB, Zeichensaal 15
| 16:30 | On the almost sure validities in the finite in some fragments of monadic second-order logic (abstract) |
| 16:50 | Completeness of second-order separation logic for program verification (abstract) |
| 17:10 | Infinite Games Specified by 2-Tape Automata (abstract) |
| 17:30 | Circuit lower bounds in bounded arithmetics (abstract) |
| 17:50 | Model theory of bounded arithmetic and complexity theory (abstract) |
| 18:10 | Weak Arithmetical Semantics for the Logic of Proofs (abstract) |
16:30-18:30 Session 52I: Contributed talks D2
Location: MB, Seminarraum 5
| 16:30 | Boolean algebras and degrees of autostability relative to strong constructivizations (abstract) |
| 16:50 | The $ \Delta^{0}_{\alpha} $-dimension of computable structures (abstract) |
| 17:10 | On categoricity of scattered linear orders (abstract) |
| 17:30 | A DNC function that computes no effectively bi-immune set (abstract) |
| 17:50 | Integer-valued randomness and degrees (abstract) |
| 18:10 | Effective genericity and differentiable functions (abstract) |
16:30-18:30 Session 52J: Contributed talks E2
Location: MB, Seminarraum 2
| 16:30 | On $\Sigma^0_2$-initial segments of computable linear orders (abstract) |
| 16:50 | A non-uniqueness theorem for jumps of principal ideals (abstract) |
| 17:10 | Every non-zero honest elementary degree has the cupping property (abstract) |
| 17:30 | Degree spectra of relations on a cone (abstract) |
| 17:50 | $\Delta_2^0$-spectra of linear orderings (abstract) |
| 18:10 | Degree spectra of structures under $\Sigma_n$-equivalence. (abstract) |
16:30-18:30 Session 52K: Contributed talks F2
Location: MB, Seminarraum 212/232
| 16:30 | Effective results on the asymptotic behavior of nonexpansive iterations (abstract) |
| 16:50 | Pi_1 induction axioms vs Pi 1 induction rules (abstract) |
| 17:10 | Reverse mathematics of WQOs and Noetherian spaces (abstract) |
| 17:30 | A characterization for diagonalized--out objects (abstract) |
| 17:50 | Some applications of the Arithmetized Completeness Theorem to second-order arithmetic (abstract) |
| 18:10 | Some properties of Intuitionistic Set Theory with the principle UP. (abstract) |
16:30-18:30 Session 52L: Contributed talks G2
Location: MB, Seminarraum 3
| 16:30 | The complexity of computably enumerable graphs (abstract) |
| 16:50 | The order dimensions of degree structures (abstract) |
| 17:10 | Computable numberings in Ershov hierarchy (abstract) |
| 17:30 | Davies-trees in infinite combinatorics (abstract) |
| 17:50 | A descriptive set theoretical axiomatization of the Mathias model. (abstract) |
| 18:10 | Restricting Martin's axiom to a ccc ground model (abstract) |
16:30-18:30 Session 52M: Contributed talks H2
Location: MB, Seminarraum 4
| 16:30 | Elementary epimorphisms between models of set theory (abstract) |
| 16:50 | Generalized Ellentuck spaces and initial Tukey chains of non-p-points (abstract) |
| 17:10 | Co-analytic ideals on $\omega$ (abstract) |
| 17:30 | Budding Trees (abstract) |
| 17:50 | Finite Inseparability of Elementary Theories Based on Connection (abstract) |
16:30-18:30 Session 52N: Contributed talks I2
Location: MB, Seminarraum 6
| 16:30 | On various strengthenings of the notion of indivisibility (abstract) |
| 16:50 | An ordinal rank characterising when Forth suffices (abstract) |
| 17:10 | Extreme amenability of precompact expansions of countably categorical structures (abstract) |
| 17:30 | Weak Beth definability property for finite variable fragments. (abstract) |
| 17:50 | Non-monotonic extensions of the weak Kleene clone with constants (abstract) |
| 18:10 | A sheaf model of randomness (abstract) |
16:30-18:30 Session 52P: Contributed talks J2
Location: MB, Seminarraum 7
| 16:30 | A Defense of Information Economy Principle (abstract) |
| 16:50 | Prospects for a Naive Theory of Classes (abstract) |
| 17:10 | On the logical use of implicit contradictions (abstract) |
| 17:30 | Definable topological dynamics and real Lie groups (abstract) |
| 17:50 | Topologies on Polish structures (abstract) |
| 18:10 | Explosiveness, Model Existence, and Incompatible Paraconsistencies (abstract) |
19:00-20:00 Session 56A: VSL Public Lecture 1
Location: MB, Kuppelsaal
| 19:00 | VSL Public Lecture: Gödel in Vienna (abstract) |
Wednesday, July 16th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
11:00-13:00 Session 57: Tutorial and invited talk
Location: MB, Prechtlsaal
| 11:00 | Tutorial on Stategic and Extensive Games 3 (abstract) |
| 12:00 | The Birth of Semantic Entailment (abstract) |
08:45-10:15 Session 57: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | VSL Keynote Talk: The theory and applications of o-minimal structures (abstract) |
10:15-10:45Coffee Break
13:00-14:30Lunch Break
16:00-16:30Coffee Break
19:00-21:30 Session 64: VSL Banquet 1
Location: Schönbrunn
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 65B: Invited talk
Location: MB, Prechtlsaal
| 09:15 | Definable cardinals just beyond R / Q (abstract) |
10:15-10:45Coffee Break
11:00-13:00 Session 68A: Tutorial and invited talk
Location: MB, Prechtlsaal
| 11:00 | Tutorial on classical realizability and forcing 1 (abstract) |
| 12:00 | Cardinal invariants and template iterations (abstract) |
13:00-14:30Lunch Break
15:00-16:00 Session 76A: Invited talk
Location: MB, Prechtlsaal
| 15:00 | Generalizations of Hilbert's Tenth Problem (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 88C: Invited talk
Location: MB, Prechtlsaal
| 09:15 | Synthesis for monadic logic over the reals (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
11:00-13:00 Session 91: Tutorial and invited talk
Location: MB, Prechtlsaal
| 11:00 | On local induction schemes (abstract) |
| 12:00 | Tutorial on Classical Realizability and Forcing 2 (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 96AG: Special session: Philosophy of Mathematics
Location: MB, Hörsaal 14
| 14:30 | Frege on mathematical progress (abstract) |
| 15:15 | On Bernays' Generalization of Cantor's Theorem (abstract) |
14:30-16:00 Session 96AH: Special session: Set Theory
Location: MB, Seminarraum 225
| 14:30 | Large cardinals, forcing axioms, and the theory of subsets of \omega_1 (abstract) |
| 15:15 | Locally definable well-orders (abstract) |
14:30-16:00 Session 96BF: Special session: Perspectives on Induction (joint with CSL-LICS)
Location: MB, Prechtlsaal
| 14:30 | Weak well orders and related inductions (abstract) |
| 15:15 | Automating inductive proof (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 99AF: Special session: Philosophy of Mathematics
Location: MB, Hörsaal 14
| 16:30 | Restrictiveness relative to notions of interpretation (abstract) |
| 17:15 | Reflection, Trust, Entitlement (abstract) |
16:30-18:00 Session 99AG: Special session: Model Theory
Location: MB, Seminarraum 225
| 16:30 | Definable valuation rings (abstract) |
| 17:15 | The Fitting subgroup of a supersimple group (abstract) |
18:15-19:15 Session 104A: Contributed talks A3
Location: MB, Seminarraum 225
| 18:15 | A completeness theorem for general relativity (abstract) |
| 18:35 | More On Completion with Horn Filters (abstract) |
18:15-19:15 Session 104B: Contributed talks B3
Location: MB, Prechtlsaal
| 18:15 | Predicative Mathematics via Safety Relations (abstract) |
| 18:35 | Natural Deduction in Renaissance Geometry (abstract) |
| 18:55 | Aristotle’s conception of demonstration and modern proof theory (abstract) |
18:15-19:15 Session 104C: Contributed talks C3
Location: MB, Hörsaal 14
| 18:15 | Modelling Inference in Fiction (abstract) |
| 18:35 | Metalogical Extensions--Part II: First-order Consequences and Gödel (abstract) |
Saturday, July 19th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:30 Session 105: Invited Talk (Scott) (joint with LATD)
Location: MB, Festsaal
| 08:30 | Geometry without points (abstract) |
09:35-10:15 Session 107A: Contributed talks A4
Location: MB, Aufbaulabor
| 09:35 | Provability logics and proof-theoretic ordinals (abstract) |
| 09:55 | On Uniform Interpolation for the Guarded Fragment (abstract) |
09:35-10:15 Session 107B: Contributed talks B4
Location: MB, Hörsaal 14A
| 09:35 | Degree spectra of sequences of structures (abstract) |
| 09:55 | Computability in generic extensions (abstract) |
09:35-10:15 Session 107C: Contributed talks C4
Location: MB, GUT Schulungsraum
| 09:35 | Forcing with finite conditions and preserving CH (abstract) |
| 09:55 | Reflection principle of list-chromatic number of graphs (abstract) |
09:35-10:15 Session 107D: Contributed talks D4
Location: MB, Seminarraum Kuppel
| 09:35 | Justifying proof-theoretic reflection principles (abstract) |
| 09:55 | C. I. Lewis' Influence on the Early Work of Emil Post (abstract) |
09:35-10:15 Session 107E: Contributed talks E4
Location: MB, Hörsaal 14
| 09:35 | Indiscernible extraction and Morley sequences (abstract) |
| 09:55 | Consequences of the existence of ample generics and automorphism groups of homogeneous metric structures (abstract) |
10:15-10:45Coffee Break
11:00-13:00 Session 110: Tutorial and invited talk
Location: MB, Prechtlsaal
| 11:00 | Tutorial on Classical Realizability and Forcing 3 (abstract) |
| 12:00 | Reductions in computability theory from a constructive point of view (abstract) |
13:00-14:30Lunch Break
14:00-16:00 Session 112: Invited talk and Karp prize winner
Location: MB, Prechtlsaal
| 14:00 | On a theorem of McAloon (abstract) |
| 15:00 | The Singular Cardinals Problem after 130 years or so (abstract) |
16:00-16:30Coffee Break
16:30-18:30 Session 116D: Invited talk and Gödel lecture
Location: MB, Prechtlsaal
| 16:30 | The problem of a model without collection and without exponentiation (abstract) |
| 17:30 | Computable structure theory and formulas of special forms (abstract) |
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)