Call for Papers
The workshop, which is a constituent of CICM'08, will cover the full breadth and diversity of automated reasoning and will include topics such as:
- Theorem proving in classical and non-classical logics
- Reasoning systems and mechanisms:
- Description logics
- Equational reasoning, unification
- Induction
- Constraint Satisfaction
- Specialised decision procedures
- Formal methods in software analysis:
- verification
- Non-classical inference:
- Nonmonotonic reasoning, abduction
- intuitionistic reasoning
- Logic-based knowledge representation:
- Ontology specification,
- Domain specific reasoning (spatial, temporal, epistemic etc)
- Reasoning for agents (or about agents)
- Interactive theorem proving
- Implementation issues and empirical results
- Applications of automated reasoning
Presentations
Each workshop attendee will be allocated a 5 minute slot (or a 10 minute slot, depending on time constraints), for a short talk to introduce their research. Each attendee will also be allocated space in a poster session, where they can further present and discuss their work. Please prepare posters for the event.