Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] UNIF 2014: Call for Participation

Email Gateway (Aug 19 2022 at 14:44):

From: Temur Kutsia <kutsia@risc.jku.at>
====================================================
Call for Participation
UNIF 2014
The 28th International Workshop on Unification
July 13, 2014. Vienna, Austria
a FLoC workshop hosted by RTA-TLCA and IJCAR
http://vsl2014.at/unif
====================================================

Invited Speakers

* Jordi Levy, IIIA, CSIC, Barcelona, Spain

* Jose Meseguer, University of Illinois at Urbana-Champaign, USA:
Extensible Symbolic System Analysis

Program

http://vsl2014.at/meetings/UNIF-program.html

Registration

http://vsl2014.at/registration

(Don't forget the early registration deadline: June 8)

We look forward to seeing you in Vienna!

The UNIF 2014 organizers:
Temur Kutsia
Christophe Ringeissen

Last updated: Apr 25 2024 at 20:15 UTC