Archive for December 20th, 2008

[Concurrency] PLACES’09 CfP (Prog Langs/Conc+Comm-Centric Software)

2nd CALL FOR PAPERS
PLACES’09
Programming Language Approaches to Concurrency
[…]

December 20th, 2008 | Posted in CFP | Comments Off

ATVA 2009 Call for papers

Our apology for possible multiple copies.
======================================
ATVA 2009 Call for Papers
7th International Symposium on Automated Technology for Verification and Analysis
14-16 October 2009, Macao SAR, China
[…]

December 20th, 2008 | Posted in CFP | Comments Off

[Concurrency] ATVA 2009 Call for papers

Our apology for possible multiple copies.
======================================
ATVA 2009 Call for Papers
7th International Symposium on Automated Technology for Verification and Analysis
14-16 October 2009, Macao SAR, China
[…]

December 20th, 2008 | Posted in CFP | Comments Off

SAT 2009: Second call for papers

–IS0zKkzwUGydFO0o
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Hello,
I hope you don’t mind the following (second) call for papers (see
attachment for the full text; my apologies in case you
obtain this letter several times; you have been addressed
by this e-mail since you have had some contacts with the
SAT community in the past).
SAT 2009 - 12th International Conference on Theory
and Applications of […]

December 20th, 2008 | Posted in CFP | Comments Off