VSL 2014: VIENNA SUMMER OF LOGIC 2014
IFIP-WG16 PROGRAM
Sunday, July 13th, 2014

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

08:45-10:15 Session 22F: Induction and Disscusion on ISR
Location: FH, Seminarraum 101C
08:45
Takahito Aoto and Sorin Stratulat
Decision Procedures for Proving Inductive Theorems without Induction (abstract)
09:15
Aart Middeldorp, Mauricio Ayala Rincón and Alfons Geser
Discussion on the International School on Rewriting (ISR) (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26P: Theorem Proving and MOOCs
Location: FH, Seminarraum 101C
10:45
Gilles Dowek and Ying Jiang
Rewriting, Proofs and Transition Systems (abstract)
11:30
Maria Paola Bonacina and David Plaisted
Semantically-Guided Goal-Sensitive Theorem Proving (abstract)
12:00
Claude Kirchner
Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing (abstract)
12:30
Claude Kirchner
Discussion on Massive Open Online Courses and Overlay Journals (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31L: Normalization and Music
Location: FH, Seminarraum 101C
14:30
Nao Hirokawa, Aart Middeldorp and Georg Moser
Basic Normalization (abstract)
15:15
Florent Jacquemard, Jean Bresson and Pierre Donat-Bouillud
Rhythm Tree Rewriting (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 34N: Discussion on RTA, Open Problems, and Business Meeting
Location: FH, Seminarraum 101C
16:30
Georg Moser
Discussion on the Future of RTA (+ TLCA) (abstract)
17:00
Nachum Dershowitz and Hans Zantema
Discussion on the Open Problems List in Rewriting (abstract)
17:30
Jürgen Giesl
Business Meeting (abstract)