MOVES: Software Modeling and Verification (Info 2)

	MOVES: Software Modeling and Verification (Informatik 2) Prof. Dr. Ir. Joost-Pieter Katoen
	Computer Science / RWTH / I2 / Events / Aachen1996 / Node1
Home News Jobs Contact Staff Teaching Research MOVES Seminar DFG-GK AlgoSyn CS Chairs LuFG I2	Printer-friendly ALP/PLILP/SAS General Schedule Monday, September 23 18.00 - 20.00 Registration, Come together Tuesday, September 24 8.00 - 8.20 Registration 8.20 - 8.30 Opening SAS 8.30 - 9.30 Invited talk: Flemming Nielson 9.30 - 10.30 SAS session 11.00 - 12.30 SAS session 14.00 - 15.00 Invited talk: Alex Aiken 15.00 - 15.30 SAS session 16.00 - 18.00 SAS session 18.30 - 20.00 EAPLS founding meeting Wednesday, September 25 8.15 - 8.50 Registration 8.50 - 9.00 Opening ALP/PLILP 9.00 - 10.00 Invited talk: Lambert Meertens 10.30 - 12.30 Parallel sessions ALP/PLILP/SAS 14.00 - 15.00 Invited talk: Bernhard Steffen 15.00 - 16.00 Coffee break and poster session 16.00 - 18.00 Parallel sessions ALP/PLILP/SAS 19.00 - 20.30 Guided tour through Aachen Thursday, September 26 8.30 - 9.00 Registration 9.00 - 10.00 Invited talk: Claude Kirchner 10.30 - 12.30 Parallel sessions ALP/PLILP/SAS 14.00 - 23.00 Excursion and Dinner Friday, September 27 9.00 - 10.30 Parallel sessions ALP/PLILP 11.00 - 12.30 Parallel sessions ALP/PLILP 14.00 - 15.30 Parallel sessions ALP/PLILP 16.00 - 17.30 PLILP session 17.30 - 17.35 Closing Saturday, September 28 9.00 - 17.30 Compulog-Meeting on Language Design and Semantic Analysis Methods

[Mail]

Webmaster

Disclaimer

Last modified: 1998-05-05 13:35 UTC