ARQNL
2016
Automated Reasoning in Quantified Non-Classical Logics
2nd International Workshop (associated with IJCAR 2016)
1 July 2016, Coimbra, Portugal
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
2 May 2016 (
extended!
)
Submission of Papers
9 May 2016 (
extended!
)
Author Notifications
30 May 2016
Final Paper Versions
13 June 2016
Workshop Date
1 July 2016
Useful Links
Poster/Call-for-Papers
ARQNL-2016.pdf (92 KB)
IJCAR Website
IJCAR 2016
Contact Us
Organizers
Christoph Benzmüller
, Freie Universität Berlin
c.benzmueller@fu
-berlin.de
Jens Otten
, University of Oslo
jeotten@ifi
.uio.no