VSL 2014: VIENNA SUMMER OF LOGIC 2014

PROGRAM FOR WEDNESDAY, JULY 23RD: SESSION VIEW

Days:
previous day
next day
all days

View: with abstractstalk overview

HSB
KR
SYNT
PRUV
FRIDA
Vampire
ASPOCP
PAAR
WING
ARQNL
RS
VERIFY
GeTFun
VeriSure
ARW-DT
9:00
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
08:45-10:15
Invited talks: Scott; Benveniste
08:45-09:45
Partial/Semi-Formal Assurance and Verification
08:45-10:15
Invited Talk (Guet); Contributed Talk (Stewart)
08:45-10:15
Superposition I
08:45-10:15
Session 159E
08:45-10:15
Invited Talk and Contributed Talk
08:45-10:15
Invited Talk and Contributed Talk
08:45-10:15
Invited Talk and Contributed Talk
08:55-10:15
Introduction & Invited Talk 1
08:55-09:00
Opening
09:00-10:15
KR Invited Talk: Tony Cohn (Knowledge Representation meets Computer Vision: From Pixels to Symbolic Activity Descriptions)
09:00-10:15
Invited talk: Joseph Halpern
09:00-09:15
Opening
09:10-09:25
Opening Remarks
09:15-10:15
Invited Talk
09:25-10:15
Theory
09:45-10:15
Discussion
10:45-13:00
Description Logic 3
10:45-13:00
Reasoning about Actions and Processes 2
10:45-11:35
Semantics
10:45-13:00
Invited talks: Hoare; Grumberg; Kwiatkowska; Maoz
10:45-12:45
Contributed Talks 1
10:45-13:00
Vampire Tutorial and Regular Talks
10:45-11:45
Making Hard Assurance Problems Feasible
10:45-13:00
Tutorial (Donze), Collaboration Success Stories (Fanchon, de Jong, Halasz)
10:45-13:00
Meta-methods for theorem proving
10:45-13:00
Contributed Talks 1
10:45-13:00
Session 166K
10:45-12:15
Contributed Talks
10:45-12:15
Contributed Talks
10:45-12:15
Contributed Talks
10:45-12:15
Vagueness to some degree
10:50-11:00
Opening
11:00-13:00
First-Order Modal Logics, Quantified Dynamic and Temporal Logic, Problem Libraries
11:35-11:45
Short Break
11:45-13:00
Dynamic Domains and Action Languages
11:45-12:15
Discussion
12:15-13:00
Human Interfaces and Medical Devices, and discussion
12:15-13:15
Verification: Contributed Talks
12:15-13:15
Verification: Contributed Talks
12:15-13:15
Verification: Contributed Talks
14:30-16:00
Knowledge Representation and Reasoning 2
14:30-16:00
Reports from the Field
14:30-16:00
Invited talks: Henzinger; Kugler; Fisher
14:30-16:00
Invited Talk by Jasmin Blanchette, Discussions
14:30-16:00
Common Logic, Higher-Order Nominal Modal Logic, First-Order Intuitionistic Logic
14:30-15:30
Assurance for Secure Systems
14:30-16:00
Tutorial (Antoniotti), Contributed Talk (Dreossi)
14:30-16:00
Superposition II
14:30-15:45
Invited talk: Ahmed Bouajjani
14:30-16:00
Contributed Talks
14:30-16:00
Contributed Talks
14:30-16:00
Session 172K
14:30-16:00
Reasoning for Vagueness perhaps
14:45-16:00
Applications
14:45-16:00
Invited Talk 2
15:30-16:00
Discussion
16:30-18:00
Planning, Strategies and Diagnosis 2
16:30-18:00
Uncertainty
16:30-18:10
Systems, Tools, and Frameworks
16:30-18:15
Invited talks: Clarke; Dershowitz; Vardi
16:30-18:00
Special Session on Competitions: SyGuS & SyntComp
16:30-18:00
Vampire Regular Talks
16:30-18:00
Logic with Partial Functions, First-Order Sequent Logics, Discussion
16:30-17:30
Assurance and Probability
16:30-18:00
Evaluation, Sets, Tableaux
16:30-18:00
Evaluation, Sets, Tableaux
16:30-18:00
Proving and Disproving
16:30-18:30
Contributed Talks 2
16:30-18:00
Session 175L
16:30-18:00
Favorite reasoning procedures for preferences
17:30-18:00
Discussion and Closing
18:00-19:00
Business Meeting
18:10-18:20
Closing
18:30-19:45
KR Great Moments Invited Talk : Sheila McIlraith (Situation Calculus: The last 15 years)
19:45-20:00
KR Awards
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program