Archive for July 12th, 2008

(PN) FIRST CALL FOR PARTICIPATION: KROW@KR2008

–===============1587510630== Content-Type: multipart/alternative; boundary=Apple-Mail-10–785507279 –Apple-Mail-10–785507279 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit [Apologies for cross and multiple postings] Knowledge Representation Ontology Workshop (KROW 2008) September 17, 2008 A KR 2008 Workshop September 16 – 19, 2008 Sydney, Australia http://www.cse.unsw.edu.au/~kr2008/krow.html First Call for Participation Early Registration Deadline: July 31, 2008 KROW 2008 is one of two [...]

(PN) FIRST CALL FOR PARTICIPATION: KR 2008

–===============0577844575== Content-Type: multipart/alternative; boundary=Apple-Mail-3–785553670 –Apple-Mail-3–785553670 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit [Apologies for cross and multiple postings] FIRST CALL FOR PARTICIPATION: KR 2008 Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, September 16 – 19, 2008 Tutorials and opening ceremony, September 15 Early registration deadline: July 31, 2008 Collocated with [...]

SOFSEM 2009 – CFP

:= SOFSEM 2009: 35th Conference on Current Trends in Theory and Practice of Computer Science CALL FOR PAPERS January 24-30, 2009 Hotel Arnika, Spindleruv Mlyn, Czech Republic http://www.sofsem.cz [This information is being posted to multiple lists - we apologise if you get it several times. Please, pass the information to whom it may benefit. Thank [...]

[Concurrency] New release mCRL2 toolset

We are proud to announce the third release of the mCRL2 toolset, “July 2008″. The toolset is available for download from www.mcrl2.org for all major platforms. This release mainly consists of many minor improvements in stability, functionality and consistency. In particular, we have unified all command line options among different tools. Below is a detailed [...]