Archive for December 11th, 2008

Re: (PN) Petri nets and school/children? (summary)

–===============2121129697== Content-Type: multipart/alternative; boundary=”—-=_Part_124995_14846898.1229037586567″ ——=_Part_124995_14846898.1229037586567 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Dear Claus Reinke, To be honest, I think that before talking to little child about petri-nets (or another mathematical model) the focus must be people a little bit older… A known fact: there is a lot of people, in universities, that don’t understand [...]

(PN) CCBS 2009 Call For Papers

This is a multipart message in MIME format. –===============2048159228== Content-Type: multipart/alternative; boundary=”—-=_NextPart_000_0043_01C95BA6.D0E495B0″ Content-language: en-us This is a multipart message in MIME format. ——=_NextPart_000_0043_01C95BA6.D0E495B0 Content-Type: text/plain; charset=”us-ascii” Content-Transfer-Encoding: 7bit Call for Papers The First International Workshop on the Critical Computer Based Systems (CCBS’09) 2009 Monte Carlo Resort Las Vegas, Nevada, USA (July 13-17, 2009) http://people.cs.und.edu/~reza/CCBS09.htm The [...]

(PN) Faculty position in Computer Science at UMass Dartmouth

This is a multi-part message in MIME format. –===============0731046687== Content-Type: multipart/alternative; boundary=”—-=_NextPart_000_00B8_01C95B8B.90C32660″ This is a multi-part message in MIME format. ——=_NextPart_000_00B8_01C95B8B.90C32660 Content-Type: text/plain; charset=”iso-8859-1″ Content-Transfer-Encoding: quoted-printable UNIVERSITY OF MASSACHUSETTS DARTMOUTH DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE Assistant Professor=20 The Department of Computer and Information Science at the University of = Massachusetts Dartmouth invites applications for [...]

[Concurrency] CfP OpenCert 2009 @ETAPS’09

[- Posted on behalf of Luis Barbosa -] > > Apologies for cross-posting > ———————————————————————- > ————————————— > > Call for Papers > > > OpenCert 2009 > > 3rd International Workshop on Foundations and Techniques for > Open Source Software Certification > > > York, UK – 28 March 2009 > Satellite Event of [...]

(PN) Computational Methods in Systems Biology (CMSB’09) – first

(Apologies if you receive multiple copies of this message) **************************************************** International Conference on COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2009) **************************************************** (first call for papers) August 31 — September 1, 2009 Bologna, Italy http://cmsb09.cs.unibo.it/ ***************************************************** The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modelers, [...]

[Concurrency] CfP OpenCert 2009 @ETAPS’09

Apologies for cross-posting ———————————————————————— ————————————- Call for Papers OpenCert 2009 3rd International Workshop on Foundations and Techniques for Open Source Software Certification York, UK – 28 March 2009 Satellite Event of ETAPS 2009 http://opencert.iist.unu.edu/ Submission deadline: 9 January, 2009 CONTEXT AND OBJECTIVES Over the past decade, the Open Source Software (OSS) phenomenon has had a [...]