IFIP-WG16 ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

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

08:45-09:15

Decision Procedures for Proving Inductive Theorems without Induction

Takahito Aoto, Sorin Stratulat

09:15-10:00

Discussion on the International School on Rewriting (ISR)

Aart Middeldorp, Mauricio Ayala Rincón, Alfons Geser

10:45-11:30

Rewriting, Proofs and Transition Systems

Gilles Dowek, Ying Jiang

11:30-12:00

Semantically-Guided Goal-Sensitive Theorem Proving

Maria Paola Bonacina, David Plaisted

12:00-12:30

Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing

Claude Kirchner

12:30-13:00

Discussion on Massive Open Online Courses and Overlay Journals

Claude Kirchner

14:30-15:15

Basic Normalization

Nao Hirokawa, Aart Middeldorp, Georg Moser

15:15-16:00

Rhythm Tree Rewriting

Florent Jacquemard, Jean Bresson, Pierre Donat-Bouillud

16:30-17:00

Discussion on the Future of RTA (+ TLCA)

Georg Moser

17:00-17:30

Discussion on the Open Problems List in Rewriting

Nachum Dershowitz, Hans Zantema

17:30-18:00

Business Meeting

Jürgen Giesl

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break