Archive for May 30th, 2008

(PN) Call for Papers Young Researchers Workshop CONCUR 2008

[We apologize for multiple copies] ================================================================ CALL FOR PAPERS: YR-CONCUR 2008 Young Researchers Workshop on Concurrency Theory August 18, 2008 Toronto, Canada moves.rwth-aachen.de/Events/YR-CONCUR08/ ================================================================= AIMS AND OBJECTIVES This one-day workshop aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. The workshop [...]

[Concurrency] Call for Papers Young Researchers Workshop CONCUR 2008

[We apologize for multiple copies] ================================================================ CALL FOR PAPERS: YR-CONCUR 2008 Young Researchers Workshop on Concurrency Theory August 18, 2008 Toronto, Canada moves.rwth-aachen.de/Events/YR-CONCUR08/ ================================================================= AIMS AND OBJECTIVES This one-day workshop aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. The workshop [...]

[Concurrency] Call for Papers Young Researchers Workshop CONCUR 2008

[We apologize for multiple copies] ================================================================ CALL FOR PAPERS: YR-CONCUR 2008 Young Researchers Workshop on Concurrency Theory August 18, 2008 Toronto, Canada moves.rwth-aachen.de/Events/YR-CONCUR08/ ================================================================= AIMS AND OBJECTIVES This one-day workshop aims to bring together PhD students, and young researchers in concurrency theory who recently completed their doctoral studies in the last few years. The workshop [...]

[Concurrency] University of Oslo: PhD Position in Formal Methods.

==================================================== University of Oslo: PhD Position in Formal Methods. *** Application Deadline June 13 *** ==================================================== The Formal Methods group at the Department of Informatics, University of Oslo, has available up 11 PhD positions. Three of these are open for candidates from ANY field, and one is reserved for formal methods. We encourage prospective applicants [...]

[Concurrency] University of Oslo: PhD Position in Formal Methods.

==================================================== University of Oslo: PhD Position in Formal Methods. *** Application Deadline June 13 *** ==================================================== The Formal Methods group at the Department of Informatics, University of Oslo, has available up 11 PhD positions. Three of these are open for candidates from ANY field, and one is reserved for formal methods. We encourage prospective applicants [...]

[Concurrency] CFP, FSTTCS 2008

The submission deadline for FSTTCS is July 7. – Madhavan Mukund, http://www.cmi.ac.in/~madhavan Co-Chair, Programme Committee, FSTTCS 2008, http://www.fsttcs.org ———————————————————————- FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 9-11, 2008 Indian Institute of Science, Bangalore, India CALL FOR PAPERS IARCS, the Indian Association for Research in Computing Science, announces the 28th Foundations of Software Technology [...]

[Concurrency] CFP, FSTTCS 2008

The submission deadline for FSTTCS is July 7. – Madhavan Mukund, http://www.cmi.ac.in/~madhavan Co-Chair, Programme Committee, FSTTCS 2008, http://www.fsttcs.org ———————————————————————- FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 9-11, 2008 Indian Institute of Science, Bangalore, India CALL FOR PAPERS IARCS, the Indian Association for Research in Computing Science, announces the 28th Foundations of Software Technology [...]