| Arrival Information | |
| Important Dates | |
|
Chairs/ Program Committee/ Steering Committee/ Local Organisers | |
| Sponsors | |
| Registration and Travel | |
| Registration Info | |
| Grants | |
|
Accommodation/ Conference Location/ Facilities | |
| Travel Info | |
| List of Participants | |
| Program | |
| Invited Speakers | |
| Accepted Papers | |
| Timetable | |
| Co-located Events | |
| TARSKI | |
| BLC-2004 | |
| Additional Information | |
|
Contact/ Full Addresses | |
|
Publication Details/ Conference Proceedings | |
| Call for Participation | |
| Call for Papers | |
| Submission Details | |
| Manchester | |
| The City & Tourism | |
| |
Sponsors
AiML-5 is receiving support from the following organisations, which is greatly appreciated.Advances in Modal Logic Initiative
EU COST Action 274 on "Theory and Applications of Relational Structures as Knowledge Instruments" (Tarski)
School of Information Technology, Murdoch University
CologNet
|
Area V: Logic and Multi-Agent Systems
Area VIII: Automated reasoning, deduction, theorem proving, and model-checking |
British Logic Colloquium
Language & Inference Technology Group, University of Amsterdam
Department of Computer Science, University of Manchester
Please contact me if you want to sponsor AiML.