VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Aoto, Takahito	Decision Procedures for Proving Inductive Theorems without Induction
Ayala Rincón, Mauricio	Discussion on the International School on Rewriting (ISR)
B
Bonacina, Maria Paola	Semantically-Guided Goal-Sensitive Theorem Proving
Bresson, Jean	Rhythm Tree Rewriting
D
Dershowitz, Nachum	Discussion on the Open Problems List in Rewriting
Donat-Bouillud, Pierre	Rhythm Tree Rewriting
Dowek, Gilles	Rewriting, Proofs and Transition Systems
G
Geser, Alfons	Discussion on the International School on Rewriting (ISR)
Giesl, Jürgen	Business Meeting
H
Hirokawa, Nao	Basic Normalization
J
Jacquemard, Florent	Rhythm Tree Rewriting
Jiang, Ying	Rewriting, Proofs and Transition Systems
K
Kirchner, Claude	Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing Discussion on Massive Open Online Courses and Overlay Journals
M
Middeldorp, Aart	Discussion on the International School on Rewriting (ISR) Basic Normalization
Moser, Georg	Basic Normalization Discussion on the Future of RTA (+ TLCA)
P
Plaisted, David	Semantically-Guided Goal-Sensitive Theorem Proving
S
Stratulat, Sorin	Decision Procedures for Proving Inductive Theorems without Induction
Z
Zantema, Hans	Discussion on the Open Problems List in Rewriting

Disclaimer | Powered by EasyChair Smart Program