AiML news 2000

July 13, 2000: AiML-ICTL 2000 List of Accepted Papers

Please visit our workshop pages to find the list of papers that were accepted for AiML-ICTL 2000.

May 1, 2000: Final Call for Papers for AiML-ICTL 2000

Please visit our workshop pages to consult the third and final call for papers for AiML-ICTL 2000.

February 29, 2000: Call for Papers for the ESSLLI-2000 Workshop on Many-Dimensional Logical Systems

Contributed papers (extended abstracts of up to 10 A4 size pages) in PostScript format should be sent to kuag@doc.ic.ac.uk before June 1, 2000.

February 29, 2000: Advances in Modal Logic, Volume 2

Please visit our volumes pages to find out everything about this upcoming volume.

February 11, 2000: Research Associate in Formal Methods and Automated Reasoning

Applications are invited for a research associate to work on the EPSRC funded project "Proof Methods for Multi-Agent Systems". This is a three year collaborative research project between the Formal Methods Group within the Department of Computer Science at the University of Manchester and the Centre for Agent Research and Development at the Manchester Metropolitan University. The project is to commence in the first half of 2000. Consult http://www.cs.man.ac.uk/~schmidt/agents/.

February 3, 2000: Call for Papers for HyLo 2000

HyLo 2000: Workshop on Hybrid Logics at the 12th European Summer School in Logic, Language and Information. August 6-18, 2000, Birmingham, Great Britain. Consult http://www.illc.uva.nl/~carlos/hybrid.

February 1, 2000: Second Call for Papers for AiML-ICTL 2000

Please visit our workshop pages to consult the second call for papers for AiML-ICTL 2000.

January 28, 2000: PhD Studentship at Nottingham

Applications are invited for a PhD studentship at the School of Computer Science and IT, University of Nottingham, UK, to work on an EPSRC funded project "Efficient Fragments of Transitive Closure Logic" (principal investigator Dr. Natasha Alechina).

The studentship is available from the 1st of September 2000 for three years. Possible PhD topics include model checking, descriptive complexity, "guarded quantification" and graph query languages.

Applicants should have a good background in logic; knowledge of database query languages or complexity theory would be an advantage.

For more information on the project and informal enquiries, please contact
Natasha Alechina
School of CS & IT
University of Nottingham
Nottingham NG8 1BB, UK
email: nza@cs.nott.ac.uk
URL: http://www.cs.nott.ac.uk/~nza
phone: +44 115 9514233

January 28, 2000: Call for Papers for DL-2000

The Call for Papers for the 2000 International Workshop on Description Logics (DL2000) is available now at http://www-lti.informatik.rwth-aachen.de/DL2000/.