List of conferences - page 13


Final CFP: Automated Software Engineering Conference -- Tool Demonstrations
by Bernd Fischer, April 30, 2012

Final Call for Papers: ASE 2012 (Tool Demonstrations).

Paper submission: May 14, 2012
Author notification: June 22, 2012
Camera-ready papers: July 9, 2012

LOPSTR 2012 in Leuven, Belgium
by Jon Sneyers, April 16, 2012

22nd International Symposium on Logic-Based Program Synthesis and Transformation, Leuven, Belgium, September 18-20, 2012

TOOLS Europe 2012: Call for Participation
by scottwest, April 2, 2012

TOOLS Europe 2012 takes place from May 29th-31st, 2012, in Prague, Czech Republic.

Early registration until April 25th.

TIME 2012 -- Call for Papers
by Carlo A. Furia, Feb. 23, 2012

Nineteenth International Symposium on
Temporal Representation and Reasoning

Leicester, UK, September 12-14, 2012

Abstract Submission: April 16
Paper Submission: April 20
Paper Notification: May 20
Camera Ready Copy Due: June 24
TIME 2012 Symposium: September 12-14

First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France
by Antoine Miné, Dec. 27, 2011

SAS 2012 - 19th International Static Analysis Symposium
11-13 September 2012, Deauville, France
http://www.sas2012.ens.fr/
Abstract submission: 16 March 2012
Full paper submission: 23 March 2012

CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012
by Hans-Wolfgang Loidl, Dec. 21, 2011

13th International Symposium on Trends in Functional Programming 2012,
St Andrews, U.K., June 12-14, 2012
http://www.tifp.org/TFP12.html
Submission deadline March 26th, 2012

International Workshop on 75 Years of Lambda Calculus: June 15th 2011
by Greg Michaelson, Oct. 31, 2011

International Workshop on
75 Years of Lambda-Calculus
University of St Andrews, Scotland
15th June, 2012
Call for papers

http://msp.cis.strath.ac.uk/lambda2012

Sponsored by Scottish Informatics & Computer Science Alliance (SICSA)

CFP: LCTES 2012 - Languages, Compilers, Tools and Theory for Embedded Systems
by jasonxue, Oct. 19, 2011

LCTES 2012 - Languages, Compilers, Tools & Theory for Embedded Systems

Beijing, China
12-13 June, 2012

http://lctes12.cs.purdue.edu/