List of conferences - page 27
- Final CFP: Automated Software Engineering Conference -- Tool Demonstrations
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
22nd International Symposium on Logic-Based Program Synthesis and Transformation, Leuven, Belgium, September 18-20, 2012
- TOOLS Europe 2012: Call for Participation
TOOLS Europe 2012 takes place from May 29th-31st, 2012, in Prague, Czech Republic.
Early registration until April 25th.
- TIME 2012 -- Call for Papers
Nineteenth International Symposium on
Temporal Representation and Reasoning
Leicester, UK, September 12-14, 2012Abstract 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
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
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
International Workshop on
75 Years of Lambda-Calculus
University of St Andrews, Scotland
15th June, 2012
Call for papershttp://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
LCTES 2012 - Languages, Compilers, Tools & Theory for Embedded Systems
Beijing, China
12-13 June, 2012http://lctes12.cs.purdue.edu/