Archive for June 3rd, 2008

LaSh08 Call for Papers

LaSh08 – WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Second Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ………………………………………………………. IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature – plans, schedules, assignments. Such [...]

(PN) LaSh08 Call for Papers

LaSh08 – WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Second Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ………………………………………………………. IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature – plans, schedules, assignments. Such [...]

ALGOSENSORS — Accepted Papers

The following papers have been accepted for presentation at ALGOSENSORS, to be held in conjunction with ICALP, on July 12, 2008, in Reykjavik. See http://www.algosensors.org for more information! —————————————————————– Eduardo Mesa Barrameda, Shantanu Das, and Nicola Santoro. Deployment of Asynchronous Robotic Sensors in Unknown Orthogonal Environments. Vincenzo Bonifaci, Peter Korteweg, Alberto Marchetti-Spaccamela, and Leen Stougie. [...]

[Concurrency] TGC 2008 – Call for Papers

========================================================== Call for Papers Trustworthy Global Computing 2008 November 3-4, 2008, Barcelona, Spain ========================================================== The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorously about their behaviour and properties. [...]

(PN) SOFSEM’09 Call for Papers

[Apologies for multiple copies of this message] Dear colleague, Please find below the call for papers and other relevant information for SOFSEM’09, the 35th International Conference on Current Trends in Theory and Practice of Computer Science. January 24-30, 2009 Hotel Arnika, Spindleruv mlyn, Czech Republic, Best wishes, Catuscia Palamidessi and Frank D. Valencia (Chairs for [...]

(PN) PNGT 2008 – Extended Deadline June 9 (Third Workshop on Petri

[ We apologise for the reception of multiple copies. ] *************************************************************************** CALL FOR PAPERS PNGT 2008 Third Workshop on Petri Nets and Graph Transformation September 12-13, 2008, Leicester, UK http://www.math.unipd.it/~baldan/PNGT08 Satellite event of ICGT 2008 September 7 – 12, 2008, Leicester UK http://www.cs.le.ac.uk/events/icgt2008 *************************************************************************** * AIMS AND SCOPE The aim of the workshop is to [...]