Call for Papers and Other Useful Academic Information

–/9DWx/yDrRhgMJTb Content-Type: text/plain; charset=”us-ascii” Content-Disposition: inline [[[ Apologies for multiple copies of this message ]]] Post-Doc Positions Available Design and Verification of Embedded Software Embedded System Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Posted: November 26, 2008 The Embedded System Research Unit (http://es.fbk.eu) [...]

–oyUTqETQ0mS9luUI Content-Type: text/plain; charset=”us-ascii” Content-Disposition: inline [[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded Systems Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Posted: November 26, 2008 The Embedded Systems Research Unit [...]

–qDbXVdCdHGoSgWSk Content-Type: text/plain; charset=”us-ascii” Content-Disposition: inline [[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded Systems Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Posted: November 26, 2008 The Embedded Systems Research Unit [...]

–HlL+5n6rz5pIUxbD Content-Type: text/plain; charset=”us-ascii” Content-Disposition: inline [[[ Apologies for multiple copies of this message ]]] Doctoral Student Positions Available Design and Verification of Embedded Software Embedded Systems Research Unit Fondazione Bruno Kessler (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy Posted: November 26, 2008 The Embedded Systems Research Unit [...]

–_002_96F74B2974595943BA4F772D3008E07B014D24B5FBntmail2pcitci_ Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: quoted-printable [[[ Apologies for multiple copies of this message ]]] =20 Doctoral Student Positions Available Design and Verification of Embedded Software =20 Embedded Systems Research Unit Fondazione Bruno Kessler =20 (formerly part of IRST – Centro per la Ricerca Scientifica e Tecnologica) Trento, Italy =20 =20 Posted: November 26, 2008 [...]

The Istituto Dalle Molle di Studi sull’Intelligenza Artificiale (IDSIA, www.idsia.ch ) invites applications for 1) One postdoc position for 3 years 2) One PhD student position (University of Lugano) for 3+1 years The positions are funded by the Swiss National Science Foundation (Project Title: Approximation Algorithms for Machine Scheduling). We are looking for outstanding candidates [...]

CADE 2009 The 22nd International Conference on Automated Deduction Montreal, Canada, August 2 – 7, 2009 http://complogic.cs.mcgill.ca/cade22/ Call for Workshop and Tutorial Proposals —————————————————- CADE 2009 is the 22nd International Conference on Automated Deduction, the premier conference on all aspects of automated deduction. Topics covered range from theoretical foundations to high-performance implementations in a wide [...]

Nearly two weeks ago, I asked for references to usability studies of Petri nets for school-aged children, or any other Petri nets in school (pre-university schools, that is) related works: http://www.informatik.uni-hamburg.de/cgi-bin/TGI/pnml/getpost?id=2008/11/4406 The very small number of replies seems to confirm that this is a largely uncovered area of education research, although alternative explanations are possible. [...]

OXFORD UNIVERSITY COMPUTING LABORATORY Scholarships for Doctoral Study in Computer Science http://www.comlab.ox.ac.uk/news/58-full.html The Computing Laboratory invites applications for full and partial scholarships for D.Phil. (Doctor of Philosophy) study to commence in October 2009. The Computing Laboratory is among the world’s leading Computer Science departments. It is a centre for research in computer science, numerical analysis, [...]

The prototype of an Interval Decision Diagram based CSL model checker for stochastic Petri nets is available. Features: # no previous knowledge of the boundedness degree required # efficient saturation-based state space construction # efficient multi-threaded CSL model checking The prototype is available for windows, linux and mac. For download and further details visit http://www-dssz.informatik.tu-cottbus.de/software/software.html [...]