List of conferences - page 15


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/

CfP: Bytecode 2012
by Marieke Huisman, Oct. 17, 2011

CALL FOR PAPERS

Bytecode 2012
Seventh Workshop on Bytecode Semantics,
Verification, Analysis and Transformation

A Satellite workshop of ETAPS 2012
Tallinn, Estonia,
31 March 2012
http://wwwhome.ewi.utwente.nl/~marieke/Bytecode2012/

Important Dates
===============
Paper submission: January 4, 2012
Notification: January 26, 2012
Final version: February 6, 2012

Last CFP: FASE'2012
by Juan de Lara, Sept. 30, 2011

Just a reminder: deadline for abstract submissions is only one week away!