Logic in Computer Science (LICS)

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 Home Page

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, 16-19 June 2001, Boston, Massachusetts, USA, Proceedings. IEEE Computer Society, 2001, ISBN 0-7695-1281-X
Contents - LICS 2001 Home Page

15. LICS 2000: Santa Barbara, California, USA

15th Annual IEEE Symposium on Logic in Computer Science, 26-29 June 2000, Santa Barbara, California, USA. IEEE Computer Society, 2000
Contents - LICS 2000 Home Page

14. LICS 1999: Trento, Italy

14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy. IEEE Computer Society, 1999
Contents

13. LICS 1998: Indianapolis, Indiana, USA

Thirteenth Annual IEEE Symposium on Logic in Computer Science, 21-24 June, 1998, Indianapolis, Indiana, IEEE Computer Society, 1998
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 Press
Contents

11. LICS 1996: New Brunswick, New Jersey

Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, 27-30 July 1996. IEEE Computer Society Press
Contents

10. LICS 1995: San Diego, California, USA

Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995. IEEE Computer Society Press, 1995
Contents

9. LICS 1994: Paris, France

8. LICS 1993: Montreal, Canada

7. LICS 1992: Santa Cruz, California

6. LICS 1991: Amsterdam, The Netherlands

Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands. IEEE Computer Society Press, Los Alamitos, California, 1991, ISBN 0-8186-2230-X

5. LICS 1990: Philadelphia, Pennsylvania

4. LICS 1989: Pacific Grove, California

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, ISBN 0-8186-0853-6
Contents

2. LICS 1987: Ithaca, New York

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

1. LICS 1986: Cambridge, Massachusetts

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