Call for Papers and Other Useful Academic Information

————————————-
Deadline is approaching!
————————————-
International Conference on
*COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY *
12th to 15th October 2008, Rostock, Germany
http://wwwmosi.informatik.uni-rostock.de/cmsb08/
The conference proceedings will be published by Springer LNCS/LNBI.
There will be a follow-up volume in LNCS journal TCSB with extended
versions of the best papers.
*important deadlines:*
May, 5 - submission of abstracts
May, 5 - submission […]

————————————-
Deadline is approaching!
————————————-
International Conference on
*COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY *
12th to 15th October 2008, Rostock, Germany
http://wwwmosi.informatik.uni-rostock.de/cmsb08/
The conference proceedings will be published by Springer LNCS/LNBI.
There will be a follow-up volume in LNCS journal TCSB with extended
versions of the best papers.
*important deadlines:*
May, 5 - submission of abstracts
May, 5 - submission […]

–===============1399497468==
Content-Type: multipart/alternative;
boundary=”—-=_Part_34191_21638302.1207743179515″
——=_Part_34191_21638302.1207743179515
Content-Type: text/plain; charset=WINDOWS-1256
Content-Transfer-Encoding: base64
Content-Disposition: inline
SGkgYWxsLApkaWQgYW55b25lIGhhdmUgdGhlIGZvbGxvd2luZyBwYXBlcnM6Ci1DdXJyZW50IFNv
bHV0aW9ucyBmb3IgV2ViIFNlcnZpY2UgQ29tcG9zaXRpb24KLVVuZGVyc3RhbmRpbmcgYXBwcm9h
Y2hlcyBmb3Igd2ViIHNlcnZpY2UgY29tcG9zaXRpb24gYW5kIGV4ZWN1dGlvbgotQSBQZXRyaSBO
ZXQtYmFzZWQgQXBwcm9hY2ggZm9yIEF1dG9tYXRlZCBHb2FsLURyaXZlbiBXZWIgU2VydmljZQpD
b21wb3NpdGlvbgoKbG9va2luZyBmb3J3YXJkIGZvciB5b3VyIGFuc3dlci4KCi0tIApFbWFuIEhv
c3NueSwKVGVhY2hlciBBc3Npc3RhbnQsCkNvbXB1dGVyIFNjaWVuY2UgRGVwYXJ0bWVudCwKRmFj
dWx0eSBvZiBDb21wdXRlcnMgYW5kIEluZm9ybWF0aW9uCkNhaXJvIFVuaXZlcnNpdHksIEVneXB0
Cgrtx9HIIMfh2sreIOPkIMfh5MfRIOHsIObh5sfhz+3HCg==
——=_Part_34191_21638302.1207743179515
Content-Type: text/html; charset=WINDOWS-1256
Content-Transfer-Encoding: base64
Content-Disposition: inline
SGkgYWxsLDxicj5kaWQgYW55b25lIGhhdmUgdGhlIGZvbGxvd2luZyBwYXBlcnM6PGJyPi1DdXJy
ZW50IFNvbHV0aW9ucyBmb3IgV2ViIFNlcnZpY2UgQ29tcG9zaXRpb248YnI+LVVuZGVyc3RhbmRp
bmcgYXBwcm9hY2hlcyBmb3Igd2ViIHNlcnZpY2UgY29tcG9zaXRpb24gYW5kIGV4ZWN1dGlvbjxi
cj4tQSBQZXRyaSBOZXQtYmFzZWQgQXBwcm9hY2ggZm9yIEF1dG9tYXRlZCBHb2FsLURyaXZlbiBX
ZWIgU2VydmljZSBDb21wb3NpdGlvbjxicj4KPGJyPmxvb2tpbmcgZm9yd2FyZCBmb3IgeW91ciBh
bnN3ZXIuPGJyIGNsZWFyPSJhbGwiPjxicj4tLSA8YnI+RW1hbiBIb3NzbnksPGJyPlRlYWNoZXIg
QXNzaXN0YW50LDxicj5Db21wdXRlciBTY2llbmNlIERlcGFydG1lbnQsPGJyPkZhY3VsdHkgb2Yg
Q29tcHV0ZXJzIGFuZCBJbmZvcm1hdGlvbjxicj5DYWlybyBVbml2ZXJzaXR5LCBFZ3lwdDxicj48
YnI+7cfRyCDH4drK3iDj5CDH4eTH0SDh7CDm4ebH4c/txwo=
——=_Part_34191_21638302.1207743179515–
–===============1399497468==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
—-
[[ Petri Nets World: […]

We are delighted to announce that a new book on Unfoldings is now
available.
Esparza, J. and Heljanko, K.:
Unfoldings
A Partial-Order Approach to Model Checking.
EATCS Monographs in Theoretical Computer Science,
Springer-Verlag, ISBN 978-3-540-77425-9, 172 p, 2008.
For more information, see:
http://www.springer.com/978-3-540-77425-9
Cover text:
Model checking is a prominent technique used in the hardware and
software industries for automatic verification. While it is very
successful in […]

We are delighted to announce that a new book on Unfoldings is now
available.
Esparza, J. and Heljanko, K.:
Unfoldings
A Partial-Order Approach to Model Checking.
EATCS Monographs in Theoretical Computer Science,
Springer-Verlag, ISBN 978-3-540-77425-9, 172 p, 2008.
For more information, see:
http://www.springer.com/978-3-540-77425-9
Cover text:
Model checking is a prominent technique used in the hardware and
software industries for automatic verification. While it is very
successful in […]