Program of the Festival Workshop in Foundations and Computations

ULTRA group Useful Logics, Types, Rewriting, and Applications

UKII UK Institute of Informatics, UK

Preliminary Schedule

http://www.cedar-forest.org/forest/events/festival/workshop1/program.html
 
 
 

Sunday, 16 July 2000

     13:00 - 14:00        REGISTRATION


Chair: Fairouz Kamareddine

14.00 - 15.00	Aircraft Trajectory Modeling and Analysis: A challenge to Formal Methods Cesar Munoz
15.00 - 15.30	Compositional Characterizations of lambda terms using intersection types Yoko Motohama
15.30 - 16.00	BREAK
16.00 - 17.00	A programming approach to descriptive complexity theory Iain Stewart
17.00 - 17.30	A Weak Constructive Set Theory witsh Inaccessible sets Laura Crosilla

Morning Session Chair: Julian Richardson

9.30 - 10.30	Correspondences between Classical, Intuitionistic and Uniform Provability and their Impact on Proof Search Gopalan Nadathur
10.30 - 11.00	BREAK
11.00 - 12.00	Automating Newton's calculus in Isabelle Jacques Fleuriot
12.00 - 13.00	Dynamic First Order Logic Jan van Eijck

     13.00 - 14.30        LUNCH


Afternoon Session Chair: Joe Wells

14.30 - 15.30	The calculus of contexts of lambda-sigma Therese Hardin
15.30 - 16.00	The Brisk machine: the next step in the execution of functional languages Eleni Spiliopoulou
16.00 - 16.30	BREAK
16.30 - 17.30	Type Based Decompilation Alan Mycroft
17.30 - 18.00	Gaurded Exception Handling: Some results Catherine Piliere

                       19.30         SOCIAL BANQUET  
 
 

 

Tuesday, 18 July 2000

Morning Session Chair: Assaf Kfoury

9.30 - 10.30	The birth of lambda-calculus and combinatory logic Roger Hindley
10.30 - 11.00	BREAK
11.00 - 12.00	About Folding-Unfolding Cuts Gilles Dowek
12.00 - 13.00	Extensional Set Equality in the Calculus of Constructions Jonathan Seldin

     13.00 - 14.30        LUNCH


Afternoon Session Chair: Mauricio Ayala-Rincon

14.30 - 15.30	Formal languages applied to group theory Sarah Rees
15.30 - 16.00	A Tableaux system for a fragment of the hyperset theory Massimo Felici

                       18.00          END  of Festival workshop in Foundations and Computations
 

Abstracts can be found at: http://www.cedar-forest.org/forest/events/festival/workshop1/abstracts.html

Travel information can be found at: http://www.cedar-forest.org/forest/events/festival/workshop1/travel.html

---

Fairouz Kamareddine URL: http://www.cedar-forest.org/forest/events/festival/workshop1/

Last modified: Wednesday 5 Jul 2000.