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 | Decision Procedures for Proving Inductive Theorems without Induction (abstract) |
09:15 | 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 | Rewriting, Proofs and Transition Systems (abstract) |
11:30 | Semantically-Guided Goal-Sensitive Theorem Proving (abstract) |
12:00 | Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing (abstract) |
12:30 | 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 | Basic Normalization (abstract) |
15:15 | 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 | Discussion on the Future of RTA (+ TLCA) (abstract) |
17:00 | Discussion on the Open Problems List in Rewriting (abstract) |
17:30 | Business Meeting (abstract) |