Call for Papers and Other Useful Academic Information

Dear Petri-Netters
I would like to inform you about the SpringSim 2009 conference.
Please take a look at
http://www.scs.org/confernc/springsim/springsim09/springsim09.htm
Poster Sessions deadline has been extended to Dec 15
Call for Papers
2009 Spring Simulation Multiconference (SpringSim’09)-Poster Sessions
Part of the 2009 Spring Simulation Multiconference (SpringSim’09)
Sponsored by:
The Society for Modeling and Simulation International (SCS)
March 22 - 27, 2009
Doubletree Hotel San Diego-Mission […]

–===============0149496264==
Content-Type: multipart/alternative; boundary=”0-205094761-1228838387=:69515″
–0-205094761-1228838387=:69515
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Special Session on Concurrency in AI=A0at IICAI-09: Call for papers
=A0
There is a Special Session on Concurrency in AI at the 4th Indian Internati=
onal Conference on Artificial Intelligence (IICAI-09) that will be held in =
Tumkur (near Bangalore), India during December 16-18 2009. The conference c=
onsists of paper presentations, special workshops, sessions, […]

The Formal Methods and Tools chair of the University of Twente is looking
for suitable candidates for the following positions:
- 1 Postdoc position for 3 years in the EU-ARTEMIS project CHARTER
(Critical and High Assurance Requirements Transformed through Engineering Rigor)
- 1 Technical Assistant position for 3 years in the LaQuSo-project LIST
(Laboratory for the […]

[apologies for multiple postings]
*** LAST CALL FOR PAPERS ***
ACSD 2009
9th International Conference on
Application of Concurrency to System Design
1-3 July 2009
University of Augsburg, Germany
acsd[at]informatik[dot]uni-augsburg[dot]de
http://www.informatik.uni-augsburg.de/acsd/
*** Paper deadline: 10 January 2009 *** (CHANGED)
*** Deadline for abstracts: 4 January 2009 ***
submission: http://www.easychair.org/conferences/?conf=acsd09
Notification of acceptance: 10 March 2009
Final version due: 10 April 2009
The International Conference […]

[apologies for multiple postings]
*** LAST CALL FOR PAPERS ***
ACSD 2009
9th International Conference on
Application of Concurrency to System Design
1-3 July 2009
University of Augsburg, Germany
acsd[at]informatik[dot]uni-augsburg[dot]de
http://www.informatik.uni-augsburg.de/acsd/
*** Paper deadline: 10 January 2009 *** (CHANGED)
*** Deadline for abstracts: 4 January 2009 ***
submission: http://www.easychair.org/conferences/?conf=acsd09
Notification of acceptance: 10 March 2009
Final version due: 10 April 2009
The International Conference […]

The Georgia Tech Algorithms and Randomness Center is looking for a
postdoctoral fellow to participate in ongoing investigations. Candidates
with a PhD in Computer Science, Mathematics, Operations Research or a
related field are encouraged to apply. The selected candidate will work on
algorithms and models for problems and phenomena from within computer
science as well as the natural sciences, and […]

to find m4e between 11-12 or 13.30-15.00 in my office
—
Dept of Computer Science, University of Leicester, Leicester LE1 7RH, UK
Email: fdv1@mcs.le.ac.uk WWW: http://www.cs.le.ac.uk/people/fdv1
On Mon, 8 Dec 2008, Swarat Chaudhuri wrote:
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> *********************************************************************
> * […]

—————————————————————————-
Call for Papers
The 16th International Static Analysis Symposium
(SAS 2009)
9-11 August 2009, Los Angeles, CA
[…]

********************************************************
* […]