λ-ForM Research Group

Formal Methods Research Group Department of Mathematics
School of Applied Mathematical and Physical Sciences
National Technical University of Athens

Home
People
Projects
Publications
Teaching Activities
Workshops
Contact Details

Workshops

December 16-17, 2019: 2nd Rules: Logic and Applications Workshop.
December 19-20, 2018: Rules: Logic and Applications Workshop.

Logic and Formal Methods Research Group
National Technical University of Athens
Copyright © 2019, All rights reserved.