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

CF Participation: CADE-22 Conference on Automated Deduction

http://complogic.cs.mcgill.ca/cade22/

SECOND CALL FOR PARTICIPATION

CADE-22
22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2-7, 2009

http://complogic.cs.mcgill.ca/cade22/

PLEASE REGISTER NOW! 

IMPORTANT DEADLINES:
- Hotel-style University 25 June 2009 (3 days from now)
accommodation
- Early Registration 30 June 2009 (8 days from now)

CADE is the major forum for the presentation of research in all
aspects of automated deduction.

PROGRAMME: The conference features
- 3 invited talks
- 32 contributed papers of which 5 are system papers
- the presentation of the Herbrand Award to Deepak Kapur
- a two-day programme of workshops, tutorials and meetings
- 2 system competitions

INVITED TALKS:
- Konstantin Korovin (The University of Manchester)
Instantiation-Based Automated Reasoning: From Theory to
Practice
- Martin Rinard (Massachusetts Institute of Technology)
Integrated Reasoning and Proof Choice Point Selection in
the Jahob System - Mechanisms for Program Survival
- Mark Stickel (SRI International)
Building Theorem Provers

WORKSHOPS:
- Automated Deduction: Decidability, Complexity,
Tractability (ADDCT) and
The International Workshop on Unification (UNIF)
- Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP)
- Modules and Libraries for Proof Assistants (MLPA)
- Proof Search in Type Theories (PSTT)
- Satisfiability Modulo Theories (SMT)

TUTORIALS:
- Hierarchical and Modular Reasoning in Complex Theories
with Viorica Sofronie-Stokkermans
- Probabilistic Analysis Using a Theorem Prover
with Osman Hasan and Sofiene Tahar
- Precise, Automated and Scalable Verification of Systems
Software Using SMT Solvers
with Shuvendu K. Lahiri and Shaz Qadeer
- Logics with Undefinedness
with William M. Farmer

SYSTEM COMPETITIONS:
- The CADE ATP System Competition (CASC)
- Satisfiability Modulo Theories Competition (SMT-COMP)

MEETINGS:
- The 6th TPTP Tea Party

SOCIAL EVENTS:
- Welcome reception at the McCord Museum of Canadian History
- Squash tournament at McGill Sports Centre
- Walking or biking tour excursion through Old Montreal
- Conference banquet at the elegant Pointe--Callire,
Montreal's Museum of Archeology and History at the Old Port

MONTREAL: Montreal is an exciting, cosmopolitan and affordable
city with a charming Francophone culture. It is easily
accessible from the US, Europe and world-wide with direct flights
to Pierre Elliott Trudeau Airport (YUL) from all major cities.

REGISTRATION: On-line registration is open at:

http://complogic.cs.mcgill.ca/cade22/

The early registration deadline is 30 June 2009.

ACCOMMODATION: It is possible to reserve affordable single or
shared rooms in McGill's New Residence building, which is a
hotel-style university accommodation close to the conference
venue and down-town Montreal. Bookings can be made using the
on-line registration page. For this the deadline is Thursday,
25 June 2009. Note that this is earlier than the early
registration deadline.

FURTHER INFORMATION: Please refer to the conference website for
further information on registration, accommodation, travel and
the conference.

SPONSORS: CADE-22 is supported by
o The McGill School of Computer Science
o McGill University Faculty of Science
o Microsoft Research

ORGANIZERS:
o PC Chair:
Renate Schmidt (The University of Manchester)
o Conference Chair:
Brigitte Pientka (McGill University)
o Workshop & Tutorial Chair:
Aaron Stump (The University of Iowa)
o Publicity Chair:
Carsten Schrmann (IT-Universitetet i Kbenhavn)
o Local Organizers:
Maja Frydrychowicz (McGill University)
Brigitte Pientka (McGill University)

We look forward to seeing you in Montreal!