Logic List Mailing Archive

CfPart Foundations of Computer Sciences as Logic-Related, Istanbul (Turkey), 30 Aug 2008

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.


Program committee:

Varol Akman (Bilkent University at Ankara, Turkey)
Walter Carnielli (UNICAMP at Campinas, Brazil)
Newton da Costa (UFSC at Florianplis, 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)
Aldo 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



Best regards,

Walter Carnielli


+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science  CLE
State University of Campinas UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
e-mail: carniell@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli