VSL 2014: VIENNA SUMMER OF LOGIC 2014

LC ON TUESDAY, JULY 15TH: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
09:15-10:15
Definability, automorphisms and enumeration degrees
Mariya I. Soskova
11:00-12:00
Tutorial on Stategic and Extensive Games 2
Krzysztof Apt
12:00-13:00
Logic meets number theory in o-minimality
Matthias Aschenbrenner
14:30-15:15
Elections and knowledge
Rohit Parikh
15:15-16:00
Nash equilibrium semantics for Independence-Friendly Logic
Gabriel Sandu
14:30-15:15
UD-randomness and the Turing degrees
Johanna Franklin
15:15-16:00
On finitely presented expansions of groups and algebras
Bakhadyr Khoussainov
14:30-15:15
Matrix iterations and Cichoń's diagram
Diego A. Mejía
15:15-16:00
Regular cross-sections of Borel flows
Konstantin Slutsky
14:30-16:00
The place of logic in computer science education
B. Cook, A. Leitsch, P. Panangaden, N. Schweikardt, H. Veith, R. Zach
16:30-16:50
Modal logic of clocks: Modalizing a first-order theory of time to get a better understanding of relativity
Attila Molnar, Gergely Szekely
16:50-17:10
Towards a Conditional for The Liar and the Sorites.
Sergi Oms
17:10-17:30
On graph calculus approach to modalities
Sheila Veloso, Paulo Veloso, Mario Benevides
17:30-17:50
Complexity of generalized grading with inverse relations and intersection of relations
Mitko Yanchev
17:50-18:10
Fuzzy Bsimulation for Standard Godel Modal Logic
Tuan-Fang Fan, Churn-Jung Liau
18:10-18:30
Hybrid extensions of S4 with the finite model property
Willem Conradie, Claudette Robinson
16:30-16:50
Almost structurally complete consequence operations extending S4.3
Piotr Wojtylak, Wojciech Dzik
16:50-17:10
Truth theory for logic of self-reference statements as a quaternion structure
Vladimir Stepanov
17:10-17:30
A Routley-Meyer semantics for Göodel 3-valued logic G3
Gemma Robles
17:30-17:50
Blocking the routes to triviality with depth relevance
José M. Méndez, Gemma Robles, Francisco Salto
16:30-16:50
On the almost sure validities in the finite in some fragments of monadic second-order logic
Valentin Goranko
16:50-17:10
Completeness of second-order separation logic for program verification
Makoto Tatsuta, Wei-Ngan Chin
17:10-17:30
Infinite Games Specified by 2-Tape Automata
Olivier Finkel
17:30-17:50
Circuit lower bounds in bounded arithmetics
Ján Pich
17:50-18:10
Model theory of bounded arithmetic and complexity theory
Michal Garlik
18:10-18:30
Weak Arithmetical Semantics for the Logic of Proofs
Thomas Studer
16:30-16:50
Boolean algebras and degrees of autostability relative to strong constructivizations
Nikolay Bazhenov
16:50-17:10
The $ \Delta^{0}_{\alpha} $-dimension of computable structures
Pavel Alaev
17:10-17:30
On categoricity of scattered linear orders
Andrey Frolov, Maxim Zubkov
17:30-17:50
A DNC function that computes no effectively bi-immune set
Achilles Beros
17:50-18:10
Integer-valued randomness and degrees
Michael McInerney
18:10-18:30
Effective genericity and differentiable functions
Rutger Kuyper
16:30-16:50
On $\Sigma^0_2$-initial segments of computable linear orders
Ravil Bikmukhametov
16:50-17:10
A non-uniqueness theorem for jumps of principal ideals
David Belanger, Richard Shore
17:10-17:30
Every non-zero honest elementary degree has the cupping property
Paul Shafer
17:30-17:50
Degree spectra of relations on a cone
Matthew Harrison-Trainor
17:50-18:10
$\Delta_2^0$-spectra of linear orderings
Andrey Frolov
18:10-18:30
Degree spectra of structures under $\Sigma_n$-equivalence.
Pavel Semukhin, Ekaterina Fokina, Daniel Turetsky
16:30-16:50
Effective results on the asymptotic behavior of nonexpansive iterations
Laurentiu Leustean
16:50-17:10
Pi_1 induction axioms vs Pi 1 induction rules
Andres Cordon-Franco And F. Felix Lara-Martin
17:10-17:30
Reverse mathematics of WQOs and Noetherian spaces
Alberto Marcone
17:30-17:50
A characterization for diagonalized--out objects
Saeed Salehi
17:50-18:10
Some applications of the Arithmetized Completeness Theorem to second-order arithmetic
Tin Lok Wong
18:10-18:30
Some properties of Intuitionistic Set Theory with the principle UP.
Alexey Vladimirov
16:30-16:50
The complexity of computably enumerable graphs
Luca San Mauro
16:50-17:10
The order dimensions of degree structures
Kojiro Higuchi
17:10-17:30
Computable numberings in Ershov hierarchy
Sergey Ospichev
17:30-17:50
Davies-trees in infinite combinatorics
Daniel Tamas Soukup
17:50-18:10
A descriptive set theoretical axiomatization of the Mathias model.
Wojciech Stadnicki
18:10-18:30
Restricting Martin's axiom to a ccc ground model
Miha Habič
16:30-16:50
Elementary epimorphisms between models of set theory
Robert Lubarsky, Norman Lewis Perlmutter
16:50-17:10
Generalized Ellentuck spaces and initial Tukey chains of non-p-points
Natasha Dobrinen
17:10-17:30
Co-analytic ideals on $\omega$
Konstantinos Beros
17:30-17:50
Budding Trees
Sheila Miller, Natasha Dobrinen
17:50-18:10
Finite Inseparability of Elementary Theories Based on Connection
Hsing-Chien Tsai
16:30-16:50
On various strengthenings of the notion of indivisibility
Nadav Meir
16:50-17:10
An ordinal rank characterising when Forth suffices
Roger Villemaire
17:10-17:30
Extreme amenability of precompact expansions of countably categorical structures
Alexandre Ivanov
17:30-17:50
Weak Beth definability property for finite variable fragments.
Hajnal Andréka, István Németi
17:50-18:10
Non-monotonic extensions of the weak Kleene clone with constants
Jose Martinez-Fernandez
18:10-18:30
A sheaf model of randomness
Alex Simpson
16:30-16:50
A Defense of Information Economy Principle
Hao Cheng Fu
16:50-17:10
Prospects for a Naive Theory of Classes
Hartry Field, Harvey Lederman
17:10-17:30
On the logical use of implicit contradictions
Antonio Vincenzi
17:30-17:50
Definable topological dynamics and real Lie groups
Grzegorz Jagiella
17:50-18:10
Topologies on Polish structures
Jan Dobrowolski
18:10-18:30
Explosiveness, Model Existence, and Incompatible Paraconsistencies
Jui-Lin Lee
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
19:00-20:00
VSL Public Lecture: Gödel in Vienna
Karl Sigmund
Disclaimer | Powered by EasyChair Smart Program