[FOM] Workshop on Foundations of Computer Science as Logic-Related

[carniell@cle.unicamp.br]

                      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 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



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 at cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli