VSL 2014: VIENNA SUMMER OF LOGIC 2014
GETFUN PROGRAM

Days: Tuesday, July 22nd Wednesday, July 23rd

Tuesday, July 22nd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 149G
Location: FH, Hörsaal 4
10:45
Semi-implication and matrices (abstract)
11:30
Yoneda’s embedding and Post-completeness (abstract)
12:00
On the characterization of broadly truth-functional logics (abstract)
12:30
On non-deterministic fuzzy negations (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 151G
Location: FH, Hörsaal 4
14:30
Non truth-functional bivalent logics extending classical bivalent logics (abstract)
15:00
A survey on Suszko’s Thesis and its formal developments (abstract)
15:30
Effective first-order reasoning about incomplete and inconsistent information (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 153E
Location: FH, Hörsaal 4
16:30
Separating truth and proof in the Logic of Proofs (abstract)
08:45-10:15 Session 156: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)
Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 159E
Location: FH, Hörsaal 4
08:45
From display logic to nested sequents via residuated frames (abstract)
09:30
First-order non-classical logics: an order-based approach (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 166K
Location: FH, Hörsaal 4
10:45
Broadly truth-functional logics through classical lenses (abstract)
11:30
Natural deduction for non-deterministic finite-valued logics (abstract)
12:00
The procedural understanding of meaning and compositionality in formal semantics (abstract)
12:30
Semi-BCI-algebras (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172K
Location: FH, Hörsaal 4
14:30
An intuitionistic ALC description default logic (abstract)
15:00
An infinitary deduction system for CTL* (abstract)
15:30
Modal functions as moody truth-functions (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 175L
Location: FH, Hörsaal 4
16:30
On subexponentials, focusing and modalities in concurrent systems (abstract)
17:00
Quantum state transformations and distributed temporal logic (abstract)
17:30
Combining non-determinism and context awareness in consistency restoration systems (abstract)