[TYPES/announce] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes I hereby invite applicants for a PhD scholarship within Formal Semantics and Types for Mobile Adaptive Business Processes (ref. no. 225-0026) at the IT University of Copenhagen (ITU). The scholarship is affiliated to the FIRST graduate school (www.first.dk), the Programming, Logic and Semantics Research Group (http://www.itu.dk/research/pls/) and the Computer Supported Mobile Adaptive Business Processes (www.CosmoBiz.org) research project at ITU. Application deadline is May 7, 2007 at 12.00 noon. The PhD scholarship runs for a period of three years (possibly four years if initiated prior to obtaining a MSc). It is expected to start summer/fall 2007. Applicants are expected to have an MSc (or having completed 4 years of studies towards a MSc) in Computer Science, Engineering or Mathematics and in particular have experience in one or more of the areas of: - type theory - formal semantics - process calculi - bigraphs - graph rewriting - concurrency theory - implementation of research-based software systems. The successful applicant will be an excellent student capable of conducting research, under supervision, at the highest international level. In the evaluation of the applications emphasis will especially be put on grade average, prior academic performance, collaborative skills and the ability to make a realistic and promising work plan for the project. CosmoBiz is funded by ITU, the Danish Research Council for Technology and Production (grant no 274-06-0415) and Microsoft Development Center Copenhagen (http://www.microsoft.com/danmark/om/mdcc/default.mspx). The full announcement of the scholarship can be found at: http://www1.itu.dk/sw60830.asp Application form and guidelines for the application can be found at: http://www1.itu.dk/sw38325.asp For more information on the CosmoBiz project please consult the project web page at www.CosmoBiz.org and feel free to contact me by email at [EMAIL PROTECTED] Best regards, Thomas Hildebrandt, Associate Professor The Programming, Logic and Semantics Research Group (http://www.itu.dk/research/pls/) IT University of Copenhagen, Denmark
[TYPES/announce] CFP: EXPRESS'07- deadline for abstracts May 28 (extended)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==deadline extension for abstracts May 28=== CALL FOR PAPERS EXPRESS'07 http://express07.pps.jussieu.fr/ 14th International Workshop on Expressiveness in Concurrency Monday, 3 September, 2007. Gulbenkian Foundation, Lisbon, Portugal Affiliated with CONCUR 2007. SCOPE. The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. SUBMISSION Short papers (up to 4 pages, 11pt font) and Full papers (up to 12 pages, 11pt font, excluding bibliography and technical appendices) are accepted, preferably in ENTCS-style. IMPORTANT DATES. Abstract submission: Friday, 28 May, 2007. (EXTENDED!) Paper submission: Friday, 1 June, 2007. Notification: Friday, 29 June, 2007. Submission of preliminary version for the Proceedings: Friday, 6 July, 2007. Workshop: Monday, 3 September, 2007 (day before CONCUR07). Submission of final version for ENTCS: Friday, 28 September, 2007. For more informations, visit http://express07.pps.jussieu.fr/ . ==
[TYPES/announce] EXPRESS'07 - PROGRAMME & CALL FOR PARTICIPATION
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PARTICIPATION - PROGRAMME AVAILABLE EXPRESS'07 http://express07.pps.jussieu.fr/ 14th International Workshop on Expressiveness in Concurrency Monday, 3 September, 2007. Faculty of Social and Human Sciences, Universidade Nova de Lisboa, Lisbon, Portugal (5 min. from Gulbenkian Foundation) Affiliated with CONCUR 2007 !!! Early registration open until July 31st. !!! Register at http://concur07.di.fc.ul.pt/ = SCOPE: The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. INVITED SPEAKERS: * Jos Baeten, Eindhoven. * Cédric Fournet, Cambridge (Joint with SecCo 2007 workshop). * François Laroussinie, Cachan. * Iain Phillips, London (Joint with GT-VC 2007 workshop). MORE INFORMATION AND PROGRAMME: http://express07.pps.jussieu.fr/ =