ASSOCIATION FOR AUTOMATED REASONING

NEWSLETTER No. 76, July 2007

From the AAR President
FroCoS 2007
VMCAI'08
Special Issue of Studia Logica on Truth Values
EPSRC-funded Ph.D. Studentship in Logic and Automated Reasoning
Logic Summer School - ANU
Postdoctoral Research Job Opportunities in AI
Call for Nominations: CADE Trustees Election

From the AAR President, Larry Wos...

After many years of the greatest service, Amy Felty is resigning. We at AAR cannot express how valuable has been her service to the community. She will be missed in this capacity. Thank you, Amy, for everything; you are a gem.

Our new AAR secretary/treasurer will be Wolfgang Ahrendt. We (and I personally) welcome Wolfgang in his new role.

Call for Participation

FroCoS

The International Symposium on Frontiers of Combining Systems 2007 (FroCoS) will take place September 10-12, 2007, at the University of Liverpool, UK. Early registration will be accepted until July 31, 2007.

The following speakers have been invited to give presentations:

Sava Krstic, Oregon Health & Science University, USA
Roberto Sebastiani, University of Trento, Italy
Viorica Sofronie-Stokkermans, Max-Planck Institut Informatik, Germany
Michael Zakharyaschev, Birkbeck College, UK

The list of accepted papers can be found at the Web site.

A limited number of student participation grants for (UK students only) are available on a first come first served basis. The conference registration fee will be waived.

FroCoS will be collocated with FTP (Workshop on First-order Theorem Proving).

Call for Papers

VMCAI'08

The Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) will be held in San Francisco, California, January 7-9, 2008. VMCAI'08 is collocated with the POPL'08 conference.

The program of VMCAI'08 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include the following:

program verification program certification
model checking debugging techniques
abstract interpretation abstract domains
static analysis type systems
deductive methods optimization

Submissions (15 pages) can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. The proceedings will be published by Springer in the Lecture Notes in Computer Science series. The submission deadline is September 14, 2007.

Special Issue of Studia Logica on Truth Values

Guest editors Yaroslav Shramko and Heinrich Wansing have announced a special issue of Studia Logica on truth values. The deadline for submission of manuscripts is October 31, 2008.

The notion of a truth value is among the most important notions of modern symbolic logic and analytic philosophy. It was explicitly introduced by Gottlob Frege, who considered exactly two classical truth values--the True (das Wahre) and the False (das Falsche), which played in his theory the role of references (Bedeutungen) for sentences. In this connection Frege characterized logic as the discipline that should investigate the "most general laws of being true." In modern logic there is an influential tradition of representing logical calculi as systems of truth values (valuational systems). On can mention in this respect Lukasiewicz, Alfred Tarski, and other representatives of the "Polish School."

The purpose of this special issue of Studia Logica is to concentrate on various interrelated aspects of truth-values: philosophical, logical, and algebraic among them. Papers are welcome on the following:

A workshop will be devoted to the same topic. Selected papers from this workshop will be considered for inclusion in the special issue.

Submitted papers should not exceed 20 pages (including bibliography). For details about submissions, see the general Web site or the specific Web site for instructions.

EPSRC-funded Ph.D. Studentship in Logic and Automated Reasoning

One fully funded Ph.D. studentship is available in the School of Computer Science at the University of Manchester. The anticipated start date is October 2007.

The project forms part of a EPSRC research project on the topic of "Consequence Relations for Logics in AI," conducted in collaboration with the Manchester Metropolitan University and involving Dr Renate Schmidt, Dr Dmitry Tishkovsky and Prof Vladimir Rybakov. The goal of the project is to develop mathematical and computational techniques for studying various aspects of logical consequence relations in logics originating in AI and CS. Primary attention will be on finding general techniques for modeling and studying logical consequence by inference rules and on implementing them with the aim of constructing effective proof systems. While MMU will explore linear temporal logic, multi-modal logics, and logics combining knowledge and time, the PhD project at Manchester will focus on modal and description logics. More specifically, the aim will be to study and develop KE and free-variable tableau decision procedures, to implement the developed tableau approaches and to evaluate them empirically.

The successful applicant is expected to conduct independent research leading to original contributions to the project culminating in a Ph.D. thesis.

The following are the expected qualifications, knowledge, skills, and experience:

The studentship is available from October 1, 2007, or a later date by negotiation, for up to three years with a grant of 12,600 pounds per annum (tax free) and fees plus travel money for attending conferences.

To apply for the studentship, please send a detailed CV, copies of transcripts, names of at least two referees (email addresses preferred) and covering letter to

Dr Renate Schmidt
School of Computer Science
Oxford Road
University of Manchester
Manchester M13 9PL
UK
Email: schmidt@cs.man.ac.uk
Tel: +44 (0)161 275 6163
Fax: +44 (0)161 275 6204

Email submission of PDF and/or plain text are acceptable. The deadline for applications is August 3, 2007. Late applications may be considered.

For further details about the studentship and the project please contact Dr. Renate Schmidt, preferably by email. Additional information about postgraduate research in the school can be found at the Web site.

Logic Summer School - The Australian National University

We call the ANU Logic Summer School "two weeks of wall-to-wall logic." The Logic and Computation group at ANU believe that logic is not just about computers or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields.

One Summer Scholar had this to say:

"The Summer School did a very fine job of painting a coherent picture of logic as a field, and how it all hangs together. I never read a text book yet that did that for me, and this is one of the things I valued most about the Summer School.'" (Stijn de Saeger, Japan Advanced Institute of Science and Technology, Summer Scholar in 2007)

This is a unique opportunity to learn more about the field of logic from some of the worlds best logicians with state-of-the-art computational science facilities at the ANU. Courses comprise a blend practical and theoretical short courses on aspects of pure and applied logic.

Presenters:

Dr Anbulagan, NICTA
Professor Franz Baader, Technische Universität, Dresden, Germany
Dr Peter Baumgartner, NICTA
Dr Brian Davey, La Trobe University
Dr Rajeev Goré, ANU
Dr Jinbo Huang, NICTA
Dr Tomasz Kowalski, ANU
Dr Jia Meng, NICTA
Emeritus Professor Robert Meyer, Visiting Fellow, ANU
Associate Professor Sophie Pinchinat, Université de Rennes 1, France
Professor John Slaney, ANU/NICTA
Dr Alwen Tiu, ANU

For further information, see the Web site.

If you would like to discuss this invitation in more detail, including advice on suitable candidacy, please contact Professor John Slaney by email: John.Slaney@anu.edu.au

Postdoctoral Research Job Opportunities in AI

Applications are invited for researcher positions at the Centre for Artificial Intelligence, Universidade Nova de Lisboa, Portugal. Candidates should have at least three years of postdoctoral experience.

The following five-year positions are of particular interest to AAR members:

COGNOMA - Candidates must be knowledgeable in one or more of the following areas: semantic Web; knowledge and reasoning representation; autonomous agents and multiagent systems; machine learning; logic programming; computation and cognitive sciences; epistemological foundations.

BIOINFOBio - Candidates must be knowledgeable in one or more of the following areas and in their application to bioinformatics applications: machine learning and data mining; constraint programming and optimization, simulation (including artificial life), or other artificial intelligence areas.

Please send a curriculum vitae and two letters of reference to

Prof. Luis Moniz Pereira
lmp@di.fct.unl.pt
Directori
Centro de Inteligencia Artificial
Universidade Nova de Lisboa
Quinta da Torre
2825-516 Caparica
Portugal

The deadline for application is August 31, 2007.

Call for Nominations: CADE Trustees Election
Wolfgang Ahrendt, Secretary of AAR and CADE

Dear Member of the Association for Automated Reasoning,

Nominations for four CADE trustee positions are being sought, in preparation for the elections to be held after CADE 2007.

The board of trustees currently comprises the following (in alphabetical order):

Wolfgang Ahrendt (Secretary)
Franz Baader (President, elected 10/2003, reelected 10/2006)
David Basin (elected 10/2004)
Peter Baumgartner (elected 10/2003, reelected 10/2006)
Maria Paola Bonacina (elected 10/2004)
Rajeev Gore (elected 10/2004)
Reiner Haehnle (Vice President, elected 10/2005)
Neil Murray (Treasurer)
Frank Pfenning (CADE-21 Program Chair)
Geoff Sutcliffe (elected 10/2004)
Aaron Stump (elected 10/2006)
Cesare Tinelli (elected 10/2005)

The terms of David Basin, Maria Paola Bonacina, Rajeev Gore, and Geoff Sutcliffe expire. All four are eligible to be nominated for a second term.

The term of office of Frank Pfenning as program chair of CADE-21 also ends. As outgoing ex-officio trustee, he is eligible to be nominated as an elected trustee.

Nominations can be made by any AAR member, either by e-mail or in person at the CADE-21 business meeting. Two members, a principal nominator and a second, are required to make a nomination, and it is their responsibility to ask people's permission before nominating them. A member may nominate or second only one candidate. Nominees must be AAR members. For further details please see the CADE Inc. bylaws at the CADE Web site.

E-mail nominations are to be sent to Franz Baader, CADE President (baader@tcs.inf.tu-dresden.de) and Wolfgang Ahrendt, CADE Secretary (ahrendt@chalmers.se), up to the upcoming CADE business meeting (to be held on July 17, 2007, at CADE-21), or otherwise during the CADE business meeting.




Gail Pieper
pieper@mcs.anl.gov
July 2007