4th International Conference on Tools for Teaching Logic
June 9, 2015 - June 12, 2015
Équipe LOGICA, bureau 218, IRISA
Rennes
France
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 talkDetails
(No details have been provided for this event.)
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?