Conferences
- SPIN 2014:
International SPIN Symposium on Model Checking of Software,
San Jose, California, July 2014.
- PLP 2014:
Probabilistic logic programming 2014,
An ICLP workshop.
Vienna, Austria, July 2014.
- HVCS 2014:
Workshop on Horn Clauses for Verification and Synthesis,
Vienna, Austria, July 2014.
- PADL 2014:
16th International Symposium on Practical Applications of
Declarative Languages,
San Diego, California, 2014.
- ICLP 2013:
29th International Conference on Logic Programming,
Istanbul, Turkey, August 2013.
- SPIN 2013:
International SPIN Symposium on Model Checking of Software,
Stony Brook, New York, July 2013. (Program co-chair)
- TACAS 2011:
Tools and Algorithms for the Construction and Analysis
of Systems, Saarbrucken, Germany, March 2011.
- PADL 2011:
13th International Symposium on Practical Applications of
Declarative Languages,
Austin, Texas, January 2011.
- TACAS 2010:
Tools and Algorithms for the Construction and Analysis
of Systems, Paphos, Cyprus, March 2010.
- TACAS 2009:
Tools and Algorithms for the Construction and Analysis
of Systems, York, UK, March 2009.
- VMCAI 2009:
International Conference on Verification, Model Checking, and
Abstract Interpretation, Savannah, GA, USA, January 2009.
- LOPSTR
2008: International Symposium on Logic-based Program Synthesis
and Transformation, Valencia, Spain, July 2008.
- TACAS
2008:Tools and Algorithms for the Construction and Analysis of
Systems, Budapest, Hungary, March/April 2008. (Program co-chair)
- LOPSTR
2007: International Symposium on Logic-based Program Synthesis
and Transformation, Lyngby, Denmark, September 2007.
- TACAS 2007:Tools
and Algorithms for the Construction and Analysis of Systems, Braga,
Portugal, March 2007.
- LOPSTR 2005:
International Symposium on Logic-based Program Synthesis
and Transformation, London, UK, September 2005.
- LOPSTR 2004:
International Symposium on Logic-based Program Synthesis
and Transformation, Verona, Italy, August 2004.
- PADL 2004:
International Symposium on Practical Applications of Declarative Languages,
Dallas, Texas, June 2004.
- PPDP 2003:
International Conference on Principles and Practice of Declarative Programming,
Uppsala, Sweden, August 2003.
- LOPSTR 2002:
International Workshop on Logic-based Program Development
and Transformation, Madrid, Spain, September 2002.
- PADL 2002:
International Symposium on Practical Applications of Declarative Languages,
Portland, Oregon, January 2002. (Program co-chair)
- VCL 2001:
International Workshop on Verification and Computational Logic,
Florence, Italy, September 2001. (Program co-chair)
C. R. Ramakrishnan
Last modified: Sun Jan 26 14:26:57 EST 2014