4th International Conference on Tools for Teaching Logic

June 9, 2015 - June 12, 2015
Équipe LOGICA, bureau 218, IRISA

Rennes
France

View the Call For Papers

Speakers:

Patrick Blackburn
Roskilde University
Gilles Dower
INRIA Rocquencourt, France
Claude Kirchner
INRIA, Nancy, France
Ben-Ari Mordechai
Computer Science, Israel
Nicole Scheikardt
Humboldt-University, Berlin
Johan van Benthem
University of Amsterdam

Topic areas

Talks at this conference

Add a talk

Details

(No details have been provided for this event.)

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.