Call for Papers and Other Useful Academic Information

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.
Candidates should contact Olivier Bournez by email: bournez@loria.fr
More […]

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.
Candidates should contact Olivier Bournez by email: bournez@loria.fr
More […]

[Please distribute to your colleagues, apologies for multiple copies]
+============== ChWFM 2008 ==========+
| First International Workshop on Formal Methods |
| November 10-15, Punta Arenas Chile |
|
[…]

[Apologies for multiple copies]
***** 1st Interaction and Concurrency Experience (ICE’08) *****
Synchronous and Asynchronous Interactions
in Concurrent Distributed […]

5th International Workshop on Formal Aspects of Component Software
(FACS 2008)
Call for Papers
[…]