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) [...]
–===============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 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 [...]
[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 [...]
[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 [...]
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 [...]
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 ] > > ********************************************************************* > * 37th ACM SIGPLAN-SIGACT Symposium > * [...]
—————————————————————————- Call for Papers The 16th International Static Analysis Symposium (SAS 2009) 9-11 August 2009, Los Angeles, CA (co-located with LICS 2009) URL: http://sas09.cs.ucdavis.edu/ Venue: UCLA, University of California, Los Angeles Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of [...]
******************************************************** * * * RTA 2009 * * Rewriting Techniques and Applications * * 20th International Conference * * * * June 29 – July 1, 2009, Brasilia, Brazil * * http://rdp09.cic.unb.br/rta.html * * * * Second Call for Papers * * * ******************************************************** ************************************************************************* NEW since 1st CFP: Submissions open, RDP workshops, RTA invited [...]