[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Tools group presentation at CoFI Tutorial of ETAPS 2001

To: cofi-tools@brics.dk
Subject: Tools group presentation at CoFI Tutorial of ETAPS 2001
From: Helene.Kirchner@loria.fr/, sender@daimi.au.dk
Date: Thu, 29 Mar 2001 13:44:11 +0200 (MET DST)
Delivered-To: cofi-tools-archive@daimi.au.dk
Reply-To: cofi-tools@brics.dk
Sender: owner-cofi-tools@brics.dk


CoFI Tutorial at ETAPS 2001
Sunday 1 April

At the CoFI Tutorial at ETAPS 2001, there will be a presentation 
from the Tools group to give an overview over the latest developments.

14.30 - 16.00: Tools for CASL 
(Hélène Kirchner, Bernd Krieg-Brückner and Till Mossakowski)

Looking forward to see you there!

Best regards,

Helene

Prev by Date: FINAL CfP: IJCAR'01 Verification Workshop
Next by Date: Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01)
Prev by thread: FINAL CfP: IJCAR'01 Verification Workshop
Next by thread: Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01)
Index(es):
- Date
- Thread