[SMT-LIB] [UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS

Francesco Calimeri calimeri at mat.unical.it
Fri Mar 14 15:47:47 EDT 2014


[apologies for any cross-posting]

[UPDATED: **IMPORTANT DATES**]

========================================================================
   ==================================================================

              5th Answer Set Programming Competition 2014

                     Call for Participant Systems

     Aalto University, University of Calabria, University of Genova

                         Spring/Summer 2014

                https://www.mat.unical.it/aspcomp2014

                      aspcomp2014 at mat.unical.it

   ==================================================================

Special edition of the ASP competition series: system track
**Part of the Olympic Games of the Vienna Summer of Logic 2014**

== Important Dates (NEW) ==

 * March 1st, 2014: Participant registration opens
 * March 31st, 2014: Participant registration closes (NEW)
 * April 15th, 2014: The competition starts (EXTENDED)

 * July 2014: Awards are presented at FLoC (22nd) and at ICLP (19th-22nd)

========================================================================


More information about the SMT-LIB mailing list