Logic in Computer Science (LICS)

LICS Server
LICS @ IEEE Xplore
LICS @ IEEE Computer Society

29. LICS-CSL 2014: Vienna, Austria

28. LICS 2013: New Orleans, LA, USA

27. LICS 2012: Dubrovnik, Croatia

26. LICS 2011: Toronto, Ontario, Canada

25. LICS 2010: Edinburgh, Scotland, United Kingdom

24. LICS 2009: Los Angeles, CA, USA

23. LICS 2008: Pittsburgh, Pennsylvania, USA

22. LICS 2007: Wroclaw, Poland

21. LICS 2006: Seattle, WA, USA

20. LICS 2005: Chicago, IL, USA

19. LICS 2004: Turku, Finland

18. LICS 2003: Ottawa, Canada

LICS 2003 Workshops: ENTCS 90

17. LICS 2002: Copenhagen, Denmark

LICS 2002 was part of the 2002 Federated Logic Conference (FLoC 2002)

16. LICS 2001: Boston, Massachusetts, USA

15. LICS 2000: Santa Barbara, California, USA

14. LICS 1999: Trento, Italy

13. LICS 1998: Indianapolis, Indiana, USA

12. LICS 1997: Warsaw, Poland

11. LICS 1996: New Brunswick, New Jersey, USA

10. LICS 1995: San Diego, California, USA

9. LICS 1994: Paris, France

8. LICS 1993: Montreal, Canada

7. LICS 1992: Santa Cruz, California, USA

6. LICS 1991: Amsterdam, The Netherlands

5. LICS 1990: Philadelphia, Pennsylvania, USA

4. LICS 1989: Pacific Grove, California, USA

3. LICS 1988: Edinburgh, Scotland

2. LICS 1987: Ithaca, New York, USA

1. LICS 1986: Cambridge, Massachusetts, USA