(PN) IJCAR 2008 in Australia
——————————————————————————-
IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
Sydney, Australia, 10th - 15th August, 2008
[…]
Archive for June 17th, 2008
(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 funded through several industrial research […]
[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 funded through several industrial research […]
[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 […]