VSL 2014: VIENNA SUMMER OF LOGIC 2014

PROGRAM FOR SUNDAY, JULY 13TH: SESSION VIEW

Days:
previous day
next day
all days

View: with abstractstalk overview

LCC
LOLA
CLC
DTP
DCM
WPTE
PC
Linearity
TermGraph
POS
Isabelle
QBF
FWFM
GSB
IWC
ACL2
HOL
IFIP-WG16
UNIF
LSB
ORE
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
20:30
21:00
08:45-10:15
Session 22A
08:45-10:15
Isabelle tutorial for beginners I
08:45-10:15
Isabelle workshop
08:45-10:15
Novel Directions in QBF Research
08:45-10:15
HOL Workshop
08:45-10:15
Induction and Disscusion on ISR
08:45-09:00
Welcome
09:00-10:15
WPTE Opening and Invited Talk by Andy Gill on HERMIT
09:00-10:15
Opening, Invited Talk, and Contributed Talk
09:00-10:15
Opening and Invited Talk 1
09:00-09:15
Opening
09:00-10:15
Non-standard Analysis
09:00-10:15
ImmermanFest Opening and Invited Talk
09:00-10:15
Invited Talk
09:00-10:15
Opening and Invited Talk
09:00-10:20
Session 23I
09:15-10:15
Joint DCM / TermGraph Invited Talk
09:15-10:15
Joint DCM / TermGraph Invited Talk
09:15-10:15
Parallel SAT
09:15-10:15
Contributed Talks: Proof Complexity
09:15-10:15
Session 24D
09:15-10:15
Invited talk
09:25-10:15
Opening and invited talk
10:45-12:45
Invited Talks
10:45-12:45
Session 26B
10:45-13:00
Concurrency, Unfolding, Pi-Calculus, Reaction Networks
10:45-12:45
Isabelle tutorial for beginners II
10:45-12:45
Isabelle workshop
10:45-12:15
Computing with Graphs
10:45-12:50
Contributed Talks
10:45-13:00
QBF Proofs and Certificates, DQBF
10:45-13:00
HOL Workshop
10:45-11:45
Regular talks
10:45-11:00
ORE Opening
10:45-13:00
Session 26L
10:45-13:00
Analysis
10:45-11:45
Invited Talk (Albert Atserias)
10:45-13:00
Theorem Proving and MOOCs
10:45-13:00
Session 26Q
10:45-13:00
Verification
10:45-13:00
Contributed Talks
10:45-11:45
Session 26T
10:45-12:45
Contributed talks
10:50-13:00
Session 27
11:00-13:00
Evaluation and Benchmarks
11:00-13:00
Technical session
12:00-13:00
Regular talks
12:00-13:00
Contributed Talks: Resolution
12:00-13:00
Session 29C
14:00-16:00
Invited Talks
14:30-16:00
Session 31A
14:30-16:00
Conditional Rewriting, Polymorphic Calculi
14:30-16:00
Isabelle workshop
14:30-15:30
Joint IWC / TermGraph Invited Talk
14:30-15:30
Joint IWC / TermGraph Invited Talk
14:30-16:05
Invited Talk and Contributed Talks
14:30-16:00
QBF Applications (1): Incremental QBF Solving
14:30-16:00
HOL Workshop
14:30-15:30
Ontologies
14:30-16:00
Invited Talk 2 and Regular Talk
14:30-15:30
Invited talk
14:30-15:30
Invited Talk (Iddo Tzameret)
14:30-16:00
Normalization and Music
14:30-16:00
Session 31M
14:30-16:00
Keynote Magnus Myreen
14:30-16:00
Contributed Talks
14:30-15:30
Technical session
14:30-16:00
Session 31R
14:30-16:00
Session 31S
15:00-16:00
Invited talk
15:30-16:00
ORE Competition Session
15:30-16:00
Regular talk
15:30-16:00
Formalization
15:30-16:00
Panel Discussion
15:30-16:00
Contributed Talk: Complexity of SAT algorithms
15:30-16:00
Proof Nets
16:30-17:45
Invited Talk and Closing
16:30-18:30
Session 34B
16:30-18:00
Conditional Term Rewriting, Complexity and WPTE Closing
16:30-18:00
Isabelle workshop
16:30-17:30
Implementations
16:30-18:10
Contributed Talks
16:30-18:00
QBF Applications (2), The QBF Gallery 2014
16:30-18:30
Session 34H
16:30-18:15
Regular talks, confluence competition (CoCo) and closing
16:30-17:10
Reasoners
16:30-18:00
Session 34K
16:30-18:00
Applications and closing
16:30-17:30
Contributed Talks: Proof Complexity
16:30-18:00
Discussion on RTA, Open Problems, and Business Meeting
16:30-17:30
Session 34P
16:30-18:00
Panel Discussion about low-level code verification
16:30-18:00
Contributed Talks
16:30-18:00
Session 34S
16:30-17:30
Contributed talks
16:30-18:00
Session 34U
17:10-17:15
ORE closing
18:00-19:00
Session 36
18:15-21:00
Workshop dinner in honor of Immerman
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program