Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Participation: 20th WADT, July 1-4, 2010

view this post on Zulip Email Gateway (Aug 18 2022 at 15:20):

From: Till Mossakowski <till@informatik.uni-bremen.de>
[sorry if you receive this more than once]

CALL FOR PARTICIPATION

WADT 2010
20th International Workshop on
Algebraic Development Techniques
July 1-4, 2010, Etelsen, Germany

Program and registration at
http://www.informatik.uni-bremen.de/WADT2010/
Contact: wadt2010@informatik.uni-bremen.de

Registration deadline: May 31st, 2010

Last updated: Apr 25 2024 at 04:18 UTC