List of conferences - page 32


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!

CFP - TOOLS Europe 2012
by scottwest, Sept. 13, 2011

Call for Papers (submission: 13 January 2012),
TOOLS Europe 2012: 50th International Conference on Objects, Models, Components, Patterns

CC 2012: submission site now open
by Dominik Grewe, Aug. 30, 2011

The submission site for the International Conference on Compiler Construction (CC) 2012 is now open. CC will be held as part of ETAPS in Tallinn, Estonia from 24 March - 1 April 2012.

For more details and a link to the submission site see the CC website

http://conferences.inf.ed.ac.uk/cc2012/