Archive for June 17th, 2008

(PN) IJCAR 2008 in Australia

——————————————————————————- IJCAR 2008 – The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th – 15th August, 2008 http://2008.IJCAR.org ——————————————————————————- Call for Participation ———————- IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and [...]

(PN) Post-doc position announcement

The Embedded Software Engineering Group at ?bo Akademi University (http://www.abo.fi ) in Turku, Finland is looking to expand its model driven engineering team with one post-doctoral researcher interested in the area of software engineering for embedded systems. The group currently counts 2 senior reserachers, 1 postdoc, 5 PhD students and 10 masters students, and is [...]

[Concurrency] Post-doc position announcement

The Embedded Software Engineering Group at ?bo Akademi University (http://www.abo.fi ) in Turku, Finland is looking to expand its model driven engineering team with one post-doctoral researcher interested in the area of software engineering for embedded systems. The group currently counts 2 senior reserachers, 1 postdoc, 5 PhD students and 10 masters students, and is [...]

[Concurrency] Graph-Based Tool Contest: Call for Solutions

This is to call you attention to the tool contest, which is part of the ICGT 2008 workshop on Graph Based Tools (GraBaTs): http://www.fots.ua.ac.be/events/grabats2008/. The contest is of interest to readers of this list, since concurrency and verification are among the application areas actively addressed by research in graph transformation, and tool development is one [...]