Registration to ICLP12 (Budapest, 4-8 September 2012) is open
Call for Participation
Call for Participation: Datalog 2.0 Workshop
by Editors • • Comments Off
By Datalog 2.0
Call for Participation: 3rd International Conference on Interactive Theorem Proving
by Editors • • Comments Off
By Amy Felty,
University of Ottawa,
Canada
CILC2012 – Accepted Papers and Call for Participation
by Editors • • Comments Off
CILC2012 – Papers Accepted and Call for Participation. By Francesca A. Lisi.
FLOPS 2012 – Call for Participation
by Editors • • Comments Off
FLOPS 2012, May 23-25, Kobe, Japan – call for participation. Communciated by Tom Schrijvers
PADL 2012: Call for Participation
by Editors • • Comments Off
14th International Symposium on
Practical Aspects of Declarative Languages (PADL 2012)
Philadelphia, Pennsylvania, USA, January 23-24, 2012
Co-located with ACM POPL’12