Artificial Intelligence and Symbolic Computation (AISC)

12. AISC 2014: Seville, Spain

11. AISC / 11. MKM / 19. Calculemus 2012: Bremen, Germany

10. AISC / 9. MKM / 17. Calculemus 2010: Paris, France

9. AISC / 7. MKM / 15. Calculemus 2008: Birmingham, UK

8. AISC 2006: Beijing, China

7. AISC 2004: Linz, Austria

6. AISC 2002: Marseille, France

5. AISC 2000: Madrid, Spain

4. AISC 1998: Plattsburgh, New York, USA

3. AISMC 1996: Steyr, Austria

2. AISMC 1994: Cambridge, UK

1. AISMC 1992: Karlsruhe, Germany