A postdoc position is available in Nancy, France (1.5 hours from Paris by High speed train). Topics: “Continuous time models of computations”. Keywords: Models of computations, Computability theory, Complexity theory, Theory of Verification, Control Theory, Dynamical Systems. Requirements: – excellent PhD in Computer Science or Mathematics – experience in any of the fields mentioned above. [...]
A postdoc position is available in Nancy, France (1.5 hours from Paris by High speed train). Topics: “Continuous time models of computations”. Keywords: Models of computations, Computability theory, Complexity theory, Theory of Verification, Control Theory, Dynamical Systems. Requirements: – excellent PhD in Computer Science or Mathematics – experience in any of the fields mentioned above. [...]
[Please distribute to your colleagues, apologies for multiple copies] +============== ChWFM 2008 ==========+ | First International Workshop on Formal Methods | | November 10-15, Punta Arenas Chile | | | | http://fermat.usach.cl/~wfm | +===================================+ Held in conjunction with XXVII International Conference of the Chilean Computer Science Society, it will be hosted by the Universidad de [...]
[Apologies for multiple copies] ***** 1st Interaction and Concurrency Experience (ICE’08) ***** Synchronous and Asynchronous Interactions in Concurrent Distributed Systems Satellite workshop of ICALP 2008 6th of July 2008 Reykjavik, Iceland Homepage: http://ice08.dimi.uniud.it/ (Sponsored by the ESF project AutoMathA) – IMPORTANT DATES – – Abstract submission: 14 April 2008 – Submission deadline: 18 April 2008 [...]
5th International Workshop on Formal Aspects of Component Software (FACS 2008) Call for Papers September 10-12, 2008 Malaga, Spain http://www.iist.unu.edu/facs08/ Submission deadline May 16, 2008 (abstracts submission, May 9, 2008) Scope & Topics ============== Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering system complexity, for enabling evolution [...]