AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CFP: PLS7: 7th Panhellenic Logic Symposium

http://www.bma.upatras.gr/pls7/

CALL FOR PAPERS
=============================================

               for the

  SEVENTH PANHELLENIC LOGIC SYMPOSIUM
                (PLS7)

           July 15-19, 2009

 University of Patras, Patras, Greece

   http://www.bma.upatras.gr/pls7/


=============================================
PAPER SUBMISSION DEADLINE: MARCH 27, 2009
=============================================



The  Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials and presentations of accepted contributed  papers.

FEATURED AREAS

The featured areas include, but are not limited to, the following (in alphabetical order):

- Algebraic logic
- Foundational interactions between Logic, Computer Science and Mathematics
- Logic in AI
- Logic in Computer Science
- Modal Logics
- Model Theory
- Non-classical Logics
- Philosophy of Logic
- Residuated Structures
- Recursion Theory
- Set Theory
- Substructural Logics

The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.


PAPER SUBMISSION

Submitted papers should report on original research work that falls within the scope of the symposium. Authors are invited to submit a paper not exceeding five pages by 27 March 2009. Papers must be written in English and must be formatted according to the PLS7 guidelines. The first page should include title; names of authors; the affiliation, address, email of the corresponding author; abstract (up to 200 words); and at least three keywords describing the topic of the paper. All papers should be submitted electronically at EasyChair (https://www.easychair.org/login.cgi?conf=pls7).

Submitted papers will be reviewed by the PLS7 scientific committee. Accepted papers will be presented at the Symposium by one of their authors, and they will be included in the Symposium proceedings.


IMPORTANT DATES

- Abstract Submission Deadline: March 27, 2009
- Acceptance Notification: May 15, 2009
- Camera Ready Papers Deadline: June 12, 2009
- Conference Dates: July 15-19, 2009


INVITED SPEAKERS

- Pantelis Eleftheriou, University of Lisbon
- Nick Galatos, University of Denver
- Mai Gehrke, Radboud University Nijmegen
- Chrysafis Hartonas, Technological Educational Institute of Larissa
- David Makinson, London School of Economics
- Alberto Marcone, University of Udine
- Yuri I. Manin, Max Planck Institute for Mathematics and Northwestern University
- Tinko Tinchev, Sofia University
- Yde Venema, University of Amsterdam
- George Voutsadakis, Lake Superior State College


SCIENTIFIC COMMITTEE

- Jim Delgrande, Simon Fraser University
- Costas Dimitracopoulos, University of Athens
- Josep Maria Font, University of Barcelona
- Kostas Hatzikyriakou, University of Thessaly
- Antonis Kakas, University of Cyprus
- Panagis Karazeris, University of Patras
- Giorgos Koletsos, National Technical University of Athens
- George Metakides, University of Patras
- Joan Moschovakis, Occidental College
- Hiroakira Ono, Japan Advanced Institute  of Science and Technology
- Thanases Pheidas, University of Crete
- Alexandra Soskova, Sofia University
- Constantine Tsinakis (Chair), Vanderbilt University
- Athanassios Tzouvaras, University of Thessaloniki
- Mary-Anne Williams, University of Technology, Sydney
- Stathis Zachos, National Technical University of Athens


ORGANIZING COMMITTEE

- Costas Drossos (co-chair), University of Patras
- Anastasios - Michael Fotinopoulos, University of Patras
- Panagis Karazeris, University of Patras
- Lefteris Kirousis, University of Patras
- Eftichis Papadopetrakis, University of Patras
- Pavlos Peppas (co-chair), University of Patras



HOTEL RESERVATIONS

Hotel accommodations are offered by several hotels of various categories in Patras, Rio and the surrounding area.  Participants will need to communicate directly with the selected hotels to secure their reservations.  The conference web site contains detailed information for contacting the hotel of your choice.


FURTHER INFORMATION

Information about PLS7 can be found at the conference web site at http://www.bma.upatras.gr/pls7/

E-mail inquiries about PLS7 should be directed to the co-chairs of local organizing committee: Costas Drossos (cdrossos@upatras.gr) or Pavlos Peppas (pavlos@upatras.gr)