–/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
[…]
–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
[…]
–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
[…]
–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
[…]
–_002_96F74B2974595943BA4F772D3008E07B014D24B5FBntmail2pcitci_
Content-Type: text/plain; charset=”us-ascii”
Content-Transfer-Encoding: quoted-printable
[[[ Apologies for multiple copies of this message ]]]
[…]
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 for one postdoc position and
one PhD […]
CADE 2009
The 22nd International Conference on Automated Deduction
Montreal, Canada, August 2 - 7, 2009
http://complogic.cs.mcgill.ca/cade22/
[…]
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.
Even assuming that this list still reaches […]
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, computational biology, quantum computation, computational
linguistics, and information systems, […]
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
Best regards
Martin Schwarick
———————————————–
Martin Schwarick
Brandenburg University of Technology at Cottbus
Computer […]