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
Chair:
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) |