–===============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)
[…]
–===============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
[…]
:= SOFSEM 2009: 35th Conference on
Current Trends in Theory and Practice of Computer Science
CALL FOR PAPERS
[…]
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 list of changes.
The […]