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 and isn’t interested on this subject… And I surely agree with
the fact […]

(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 construction of dependable and complex computer-based systems demands
the interaction and involvement of industry and academy. […]

(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 a full-time =
tenure-track Assistant […]

[Concurrency] CfP OpenCert 2009 @ETAPS’09

[- Posted on behalf of Luis Barbosa -]
>
> Apologies for cross-posting
> ———————————————————————-
> —————————————
>
> Call for Papers
>
>
> […]

(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
[…]

[Concurrency] CfP OpenCert 2009 @ETAPS’09

Apologies for cross-posting
————————————————————————
————————————-
Call for Papers
OpenCert 2009
[…]