ARQNL 2014
Automated Reasoning in Quantified Non-Classical Logics
IJCAR-Workshop, July 23, 2014, Vienna, Austria
Program Committee
The program committee of ARQNL 2014 is shown below.
- Carlos Areces (FaMAF - Universidad Nacional de Córdoba)
- Christoph Benzmüller (Freie Universität Berlin) - chair
- Walter Carnielli (Centre for Logic, Epistemology and the History of Science – CLE)
- Valeria De Paiva (Nuance Communications)
- Christian Fermüller (TU Wien)
- Didier Galmiche (Université de Lorraine - LORIA)
- Rajeev Gore (The Australian National University)
- Andreas Herzig (IRIT-CNRS)
- Reiner Hähnle (Technical University of Darmstadt)
- Till Mossakowski (University of Magdeburg)
- Aniello Murano (Universita' di Napoli "Federico II")
- Jens Otten (University of Potsdam) - chair
- Cesare Tinelli (The University of Iowa)
- Luca Viganò (King's College London)
- Arild Waaler (University of Oslo)
- Frank Wolter (University of Liverpool)