* IWIL workshop at LPAR-17 in Indonesia - Extended deadline
@ 2010-08-13 11:45 Geoff Sutcliffe
0 siblings, 0 replies; only message in thread
From: Geoff Sutcliffe @ 2010-08-13 11:45 UTC (permalink / raw)
To: caml-list
==========================================================================
IWIL 2010 - The 8th International Workshop on the Implementation of Logics
The 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Yogyakarta, Indonesia - October 10th-15th, 2010
==========================================================================
http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html
----------------------------
EXTENDED SUBMISSION DEADLINE
----------------------------
IWIL has been unusually sucessful in bringing together many talented
developers, and thus in sharing information about successful implementation
techniques for automated reasoning systems and similar programs. We are
looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to
15 pages), in EasyChair format. Submission is via EasyChair ...
http://www.easychair.org/conferences/?conf=iwil2010
Submission deadline: 6 September 2010
Notification: 17 September 2010
Worhsop: 10 October 2010
===============================================================================
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-08-13 11:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-13 11:45 IWIL workshop at LPAR-17 in Indonesia - Extended deadline Geoff Sutcliffe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).