****************************************************
*** Please note the extended deadline: July 18th ***
****************************************************
==================================
CALL FOR PARTICIPATION
First International Workshop on Foundations
of Computer Science as Logic-Related
http://www.cle.unicamp.br/prof/carnielli/istanbul08/index08.html#Organization
Saturday, August 30, 2008.
Istanbul, Turkey
Co-located with ICTAC 2008- 5th International
Colloquium on Theoretical Aspects of Computing
The workshop intends to discuss the philosophical, mathematical and
technical aspects about the relevance of logic in the foundations of
Computer Science, specially concerning new paradigms of computation.
====================================
IMPORTANT DATES:
Extended deadlines
Abstract submissions: : July 18, 2008
Acceptance notification: August 5th, 2008
==========================================
Program committee:
Varol Akman (Bilkent University at Ankara, Turkey); Walter
Carnielli (UNICAMP at Campinas, Brazil); Newton da Costa (UFSC at
Florianóplis, Brazil); Giorgi Japaridze (Villanova University at
Villanova, Pennsylvania, USA); Martin Davis (Professor Emeritus, New
York University, NY, USA); Wilfrid Hodges (Queen Mary College,
University of London); Amilcar Sernadas (IST at Lisbon, Portugal);
ldo Ursini (University of Siena at Siena, Italy).
FOR REGISTRATION AND ALL OTHER INFORMATION:
Follow the link "Workshops" on the Colloquium web page
http://www.ictac.net/ictac08/
CONTACT: carniell at cle.unicamp.br
==========================================
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
