LICS Server
LICS @ IEEE Xplore
LICS @ IEEE Computer Society

29. LICS-CSL 2014: Vienna, Austria

• 
  CSL-LICS 2014 Home Page

28. LICS 2013: New Orleans, LA, USA

• 
  28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. IEEE Computer Society 2013 ISBN 978-1-4799-0413-6 [ contents ]

27. LICS 2012: Dubrovnik, Croatia

• 
  Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. IEEE 2012 ISBN 978-1-4673-2263-8 [ contents ]

26. LICS 2011: Toronto, Ontario, Canada

• 
  Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. IEEE Computer Society 2011 ISBN 978-0-7695-4412-0 [ contents ]

25. LICS 2010: Edinburgh, Scotland, United Kingdom

• 
  Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. IEEE Computer Society 2010 ISBN 978-0-7695-4114-3 [ contents ]

24. LICS 2009: Los Angeles, CA, USA

• 
  Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA. IEEE Computer Society 2009 ISBN 978-0-7695-3746-7 [ contents ]
• 
  LICS 2009 Home Page

23. LICS 2008: Pittsburgh, Pennsylvania, USA

• 
  Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society 2008 ISBN 978-0-7695-3183-0 [ contents ]
• 
  LICS 2008 Home Page

22. LICS 2007: Wroclaw, Poland

• 
  22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. IEEE Computer Society 2007 [ contents ]
• 
  LICS 2007 Home Page

21. LICS 2006: Seattle, WA, USA

• 
  21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. IEEE Computer Society 2006 [ contents ]
• 
  LICS 2006 Home Page

20. LICS 2005: Chicago, IL, USA

• 
  20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings. IEEE Computer Society 2005 ISBN 0-7695-2266-1 [ contents ]

19. LICS 2004: Turku, Finland

• 
  19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings. IEEE Computer Society 2004 ISBN 0-7695-2192-4 [ contents ]

18. LICS 2003: Ottawa, Canada

• 
  18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. IEEE Computer Society 2003 ISBN 0-7695-1884-2 [ contents ]

LICS 2003 Workshops: ENTCS 90

17. LICS 2002: Copenhagen, Denmark

• 
  17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. IEEE Computer Society 2002 ISBN 0-7695-1483-9 [ contents ]

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

16. LICS 2001: Boston, Massachusetts, USA

• 
  16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings. IEEE Computer Society 2001 ISBN 0-7695-1281-X [ contents ]

15. LICS 2000: Santa Barbara, California, USA

• 
  15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000. IEEE Computer Society 2000 ISBN 0-7695-0725-5 [ contents ]

14. LICS 1999: Trento, Italy

• 
  14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999. IEEE Computer Society 1999 ISBN 0-7695-0158-3 [ contents ]

13. LICS 1998: Indianapolis, Indiana, USA

• 
  Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998. IEEE Computer Society 1998 ISBN 0-8186-8506-9 [ contents ]

12. LICS 1997: Warsaw, Poland

• 
  Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997. IEEE Computer Society 1997 ISBN 0-8186-7925-5 [ contents ]

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

• 
  Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996. IEEE Computer Society 1996 ISBN 0-8186-7463-6 [ contents ]

10. LICS 1995: San Diego, California, USA

• 
  Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995. IEEE Computer Society 1995 ISBN 0-8186-7050-9 [ contents ]

9. LICS 1994: Paris, France

• 
  Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994. IEEE Computer Society 1994 ISBN 0-8186-6310-3 [ contents ]

8. LICS 1993: Montreal, Canada

• 
  Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993. IEEE Computer Society 1993 ISBN 0-8186-3140-6 [ contents ]

7. LICS 1992: Santa Cruz, California, USA

• 
  Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992. IEEE Computer Society 1992 ISBN 0-8186-2735-2 [ contents ]

6. LICS 1991: Amsterdam, The Netherlands

• 
  Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15-18, 1991. IEEE Computer Society 1991 ISBN 0-8186-2230-X [ contents ]

5. LICS 1990: Philadelphia, Pennsylvania, USA

• 
  Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990. IEEE Computer Society 1990 ISBN 0-8186-2073-0 [ contents ]

4. LICS 1989: Pacific Grove, California, USA

• 
  Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989. IEEE Computer Society 1989 ISBN 0-8186-1954-6 [ contents ]

3. LICS 1988: Edinburgh, Scotland

• 
  Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988. IEEE Computer Society 1988 ISBN 0-8186-0853-6 [ contents ]

2. LICS 1987: Ithaca, New York, USA

• 
  Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, June 22-25, 1987. IEEE Computer Society 1987 ISBN 0-8186-0793-6 [ contents ]

1. LICS 1986: Cambridge, Massachusetts, USA

• 
  Proceedings of the Symposium on Logic in Computer Science (LICS '86), Cambridge, Massachusetts, USA, June 16-18, 1986. IEEE Computer Society 1986 ISBN 0-8186-0720-3 [ contents ]