VSL 2014: VIENNA SUMMER OF LOGIC 2014
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
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
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)
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)
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
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
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
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

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

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)