Logic in Computer Science (LICS)
LICS Server
LICS @ IEEE Xplore
LICS @ IEEE Computer Society
29. LICS 2014: Vienna, Austria
28. LICS 2013: New Orleans, USA
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
Last update Fri May 24 19:35:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
