Archive for June 9th, 2008

2008 ICLP Doctoral Consortium

**********************************************************************
International Conference on Logic Programming
Fourth Doctoral Consortium
[…]

(PN) MeCBIC 2008 - Call for Papers

MeCBIC 2008
2nd Meeting on Membrane Computing and
Biologically Inspired Process Calculi
3-4 September 2008, Iasi, Romania
[…]

[Concurrency] PhD position in Computer Security

=======================================================================
PhD Thesis in Computer System Security.
———————————————————————–
Domain: Information and Communication Science and Technology.
Area: Formal basis of Computer Science, Security.
=======================================================================
A grant for a PhD Thesis in computer system security will be available
at Laboratoire d’Informatique Fondamentale de Marseille (LIF), France,
with starting date in September 2008.
The subject of the thesis is the study of security aspects of
applications handling shared […]

Final CFP: ISAAC 2008

Call for Papers
The 19th International Symposium on Algorithms and Computation
(ISAAC 2008) December 15 - 17, 2008, Gold Coast, Australia
http://www-or.amp.i.kyoto-u.ac.jp/isaac08/
The 19th International Symposium on Algorithms and Computation
(ISAAC 2008) will be held in Gold Coast, Australia, December 15-17,
2008. The symposium is intended to provide a forum for researchers
working in […]

(PN) [CfP] ACM TECS Special issue on Model-driven Embedded System

ACM Transactions on Embedded Computing Systems (ACM TECS)
Special issue on Model-driven Embedded System Design
Call for papers
Embedded systems are omnipresent in modern society, and society
crucially depends on their proper functioning. The complexity of
embedded system design however is increasing rapidly, through the use of
multiprocessor cores, through the integration of embedded systems in
ubiquitous networks, and through the increasing […]

[Concurrency] [CfP] ACM TECS Special issue on Model-driven Embedded

ACM Transactions on Embedded Computing Systems (ACM TECS)
Special issue on Model-driven Embedded System Design
Call for papers
Embedded systems are omnipresent in modern society, and society
crucially depends on their proper functioning. The complexity of
embedded system design however is increasing rapidly, through the use of
multiprocessor cores, through the integration of embedded systems in
ubiquitous networks, and through the increasing […]

[Please distribute to your colleagues, apologies for multiple copies]

This is a multi-part message in MIME format.
–===============1326025710==
Content-type: multipart/alternative;
boundary=”Boundary_(ID_SOKSaI/dU48u8Kxix5jpVg)”
This is a multi-part message in MIME format.
–Boundary_(ID_SOKSaI/dU48u8Kxix5jpVg)
Content-type: text/plain; charset=us-ascii
Content-transfer-encoding: 7BIT
[Please distribute to your colleagues, apologies for multiple copies]
———————————————————————–
CALL […]