Call for Papers and Other Useful Academic Information

[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 [...]

[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 [...]

[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 [...]

==================================================== 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 [...]

==================================================== 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 [...]

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 [...]

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 [...]