AGENTS, LOGIC AND THEOREM PROVING

Workshop Information

• Home
• Topics
• Call for Papers pdf plain
• Submit Paper
• Programm Committee
• Accepted Papers
• Programm
• Contact

Submission Details

The goal of this workshop is to enhance cooperation between participants with an agent background and the tableaux community. Contributors should be willing to interact between the different workshop areas. The programm committee will care to have a balanced number of participants from the different areas concerned. To encourage an atmosphere appropriate for a workshop, we plan to:

• have a 15 mn discussion at the end of each session,
• have a panel on future directions of logic and tableaux proving for agent systems
• have system demos

Submission format

We welcome short papers (max 4 pages), describing projects or ongoing research and long papers (max. 8 pages), that relate more established results. We solicit electronic submissions by e-mail to:

Camilla Schwind
LIF, Laboratoire d'informatique fondamentale
Parc Scientifique et Technologique de Luminy,
163 avenue de Luminy - case 901
13288 Marseille cedex 9, (France)
Phone: +33 4 91 82 94 96 or +33 4 91 82 90 70 (secr.)
Fax: +33 (0)4 91 82 92 75
camilla.schwind@lif.univ-mrs.fr

Important Dates

Submission: May 15, 2007
Notification: June 5, 2007
Final version due: June 15, 2007
Workshop: July 3, 2007