## Software Testing, Proving, Verification, Validation, Reasoning (TEST)

3 × Australia

10 × Austria

2 × Belgium

3 × Brazil

16 × Canada

1 × China

1 × Croatia

1 × Cyprus

3 × Czech Republic

8 × Denmark

2 × Estonia

2 × Finland

22 × France

18 × Germany

1 × Greece

4 × Hungary

2 × India

2 × Ireland

2 × Israel

20 × Italy

8 × Japan

1 × Korea

1 × Luxembourg

2 × Norway

7 × Poland

3 × Portugal

2 × Russia

2 × Serbia

8 × Spain

1 × Sweden

6 × Switzerland

8 × The Netherlands

1 × Turkey

84 × USA

25 × United Kingdom

1022 ×#logic

1021 ×#testing

738 ×#proving

718 ×#logic programming

707 ×#source code

674 ×#named

563 ×#verification

530 ×#using

475 ×#automation

456 ×#analysis

10 × Austria

2 × Belgium

3 × Brazil

16 × Canada

1 × China

1 × Croatia

1 × Cyprus

3 × Czech Republic

8 × Denmark

2 × Estonia

2 × Finland

22 × France

18 × Germany

1 × Greece

4 × Hungary

2 × India

2 × Ireland

2 × Israel

20 × Italy

8 × Japan

1 × Korea

1 × Luxembourg

2 × Norway

7 × Poland

3 × Portugal

2 × Russia

2 × Serbia

8 × Spain

1 × Sweden

6 × Switzerland

8 × The Netherlands

1 × Turkey

84 × USA

25 × United Kingdom

1022 ×#logic

1021 ×#testing

738 ×#proving

718 ×#logic programming

707 ×#source code

674 ×#named

563 ×#verification

530 ×#using

475 ×#automation

456 ×#analysis

### 18 brands:

### 10891 papers in 300 issues:

- 2015
- Proceedings of the 25th International Conference on Automated Deduction (CADE 2015)
- Proceedings of the 27th International Conference on Computer Aided Verification, Part I (CAV 2015)
- Proceedings of the 27th International Conference on Computer Aided Verification, Part II (CAV 2015)
- 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany (CSL 2015)
- Technical Communications of the 31st International Conference on Logic Programming (ICLP TC 2015)
- Special Issue of the 31st International Conference on Logic Programming (ICLP 2015)
- Proceedings of the Eighth IEEE International Conference on Software Testing, Verification and Validation (ICST 2015)
- Proceedings of the 24th International Symposium on Software Testing and Analysis (ISSTA 2015)
- Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
- Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
- Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015)
- Proceedings of the Ninth International Conference on Tests and Proofs (TAP 2015)
- Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
- Proceedings of the 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2015)
- 2014
- Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)
- Special Issue of the 30th International Conference on Logic Programming (ICLP 2014)
- Proceedings of the Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)
- Proceedings of the 26th International Conference on Testing Software and Systems (ICTSS 2014)
- Proceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)
- Proceedings of the 23rd International Symposium on Software Testing and Analysis (ISSTA 2014)
- Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS 2014)
- Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)
- Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014) (SAT 2014)
- Proceedings of the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
- Proceedings of the Eighth International Conference on Tests and Proofs (TAP 2014)
- Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2014)
- 2013
- Proceedings of the 24th International Conference on Automated Deduction (CADE 2013)
- Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013)
- Proceedings of the Annual Conference on Computer Science Logic (CSL 2013)
- Special Issue of the 29th International Conference on Logic Programming (ICLP 2013)
- Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013)
- Proceedings of the 25th International Conference on Testing Software and Systems (ICTSS 2013)
- Proceedings of the 22nd International Symposium on Software Testing and Analysis (ISSTA 2013)
- Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
- Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
- Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
- Proceedings of the Seventh International Conference on Tests and Proofs (TAP 2013)
- Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013)
- Proceedings of the 14th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2013)
- 2012
- Proceedings of the 24th International Conference on Computer Aided Verification (CAV 2012)
- Proceedings of the 21st EACSL Annual Conference / 26th International Workshop on Computer Science Logic (CSL 2012)
- Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)
- Proceedings of the 28th International Conference on Logic Programming (ICLP 2012)
- Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)
- Proceedings of the 24th International Conference on Testing Software and Systems (ICTSS 2012)
- Proceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)
- Proceedings of the 21st International Symposium on Software Testing and Analysis (ISSTA 2012)
- Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
- Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)
- Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
- Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)
- Proceedings of the Sixth International Conference on Tests and Proofs (TAP 2012)
- Proceedings of the 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2012)
- 2011
- Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011)
- Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011)
- Proceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic (CSL 2011)
- Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011)
- Proceedings of the 27th International Conference on Logic Programming (ICLP 2011)
- Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
- Proceedings of the 23th International Conference on Testing Software and Systems (ICTSS 2011)
- Proceedings of the 20th International Symposium on Software Testing and Analysis (ISSTA 2011)
- Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
- Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
- Proceedings of the Fifth International Conference on Tests and Proofs (TAP 2011)
- Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)
- Proceedings of the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011)
- 2010
- Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)
- Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic (CSL 2010)
- Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
- Proceedings of the 26th International Conference on Logic Programming (ICLP 2010)
- Proceedings of the Third International Conference on Software Testing, Verification and Validation (ICST 2010)
- Proceedings of the 22nd International Conference on Testing Software and Systems (ICTSS 2010)
- Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
- Proceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA 2010)
- Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
- Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
- Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
- Proceedings of the Fourth International Conference on Tests and Proofs (TAP 2010)
- Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010)
- 2009
- Proceedings of the 22nd International Conference on Automated Deduction (CADE 2009)
- Proceedings of the 21st International Conference on Computer Aided Verification (CAV 2009)
- Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic (CSL 2009)
- Proceedings of the 25th International Conference on Logic Programming (ICLP 2009)
- Proceedings of the Second International Conference on Software Testing Verification and Validation (ICST 2009)
- Proceedings of the 18th International Symposium on Software Testing and Analysis (ISSTA 2009)
- Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)
- Proceedings of the Fifth Workshop on Model Based Testing (MBT 2009)
- Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)
- Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
- Proceedings of the Third International Conference on Tests and Proofs (TAP 2009)
- Proceedings of the 21st International Conference on Testing Software and Communicating Systems and Ninth International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2009)
- Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)
- Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009)
- 2008
- Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
- Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic (CSL 2008)
- Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)
- Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST 2008)
- Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)
- Proceedings of the 17th International Symposium on Software Testing and Analysis (ISSTA 2008)
- Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
- Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)
- Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)
- Proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008)
- Proceedings of the Second International Conference on Tests and Proofs (TAP 2008)
- Proceedings of the 20th International Conference on Testing Software and Communicating Systems and Eighth International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2008)
- Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008)
- 2007
- Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007)
- Proceedings of the 21st International Conference on Automated Deduction (CADE 2007)
- Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)
- Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic (CSL 2007)
- Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)
- Proceedings of the 16th International Symposium on Software Testing and Analysis (ISSTA 2007)
- Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)
- Proceedings of the Third Workshop on Model Based Testing (MBT 2007)
- Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007)
- Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
- Proceedings of the Fifth International Workshop on Satisfiability Modulo Theories (SMT 2007)
- Revised Papers of the First International Conference on Tests and Proofs (TAP 2007)
- Proceedings of the 19th International Conference on Testing Software and Communicating Systems and Seventh International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007)
- Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)
- Proceedings of the Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)
- 2006
- Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006)
- Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic (CSL 2006)
- Revised Selected Papers of the Sixth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES/RV 2006)
- Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006)
- Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
- Proceedings of the 15th International Symposium on Software Testing and Analysis (ISSTA 2006)
- Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006)
- Proceedings of the Second Workshop on Model Based Testing (MBT 2006)
- Proceedings of the 17th International Conference on Term Rewriting and Applications (RTA 2006)
- Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- Special Issue on Satisfiability Modulo Theories (SMT 2006)
- Proceedings of the 18th International Conference on Testing of Communicating Systems (TestCom 2006)
- Proceedings of the Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006)
- 2005
- Proceedings of the First Workshop on Advances in Model-Based Software Testing (A-MOST 2005)
- Special Issue on the First Workshop on Advances in Model-Based Software Testing (AMOST 2005)
- Proceedings of the 20th International Conference on Automated Deduction (CADE 2005)
- Proceedings of the 17th International Conference on Computer Aided Verification (CAV 2005)
- Proceedings of the 14th EACSL Annual Conference / 19th International Workshop on Computer Science Logic (CSL 2005)
- Revised Selected Papers of the Fifth International Workshop on Formal Approaches to Testing of Software (FATES 2005)
- Proceedings of the 21st International Conference on Logic Programming (ICLP 2005)
- Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
- Proceedings of the 16th International Conference on Term Rewriting and Applications (RTA 2005)
- Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)
- Proceedings of the 17th International Conference on Testing of Communicating Systems (TestCom 2005)
- Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
- Proceedings of the Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005)
- 2004
- Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004)
- Proceedings of the 13th EACSL Annual Conference / 18th International Workshop on Computer Science Logic (CSL 2004)
- Revised Selected Papers of the Fourth International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2004)
- Proceedings of the 20th International Conference on Logic Programming (ICLP 2004)
- Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
- Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)
- Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
- Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- Revised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
- Proceedings of the 16th International Conference on Testing of Communicating Systems (TestCom 2004)
- Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2004)
- 2003
- Proceedings of the 19th International Conference on Automated Deduction (CADE 2003)
- Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003)
- Proceedings of the 12th EACSL Annual Conference / 17th International Workshop on Computer Science Logic (CSL 2003)
- Revised Selected Papers of the Third International Workshop on Formal Approaches to Testing of Software and International Workshop on Runtime Verification (FATES 2003)
- Proceedings of the 19th International Conference on Logic Programming (ICLP 2003)
- Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003)
- Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)
- Selected Revised Papers of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
- Proceedings of the 15th International Conference on Testing of Communicating Systems (TestCom 2003)
- Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 2003)
- Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2003)
- 2002
- Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)
- Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002)
- Proceedings of the 11th EACSL Annual Conference / 16th International Workshop on Computer Science Logic (CSL 2002)
- Proceedings of the 18th International Conference on Logic Programming (ICLP 2002)
- Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002)
- Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
- Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002)
- Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)
- Proceedings of the 14th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2002)
- Proceedings of the Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI 2002)
- 2001
- Proceedings of the 13th International Conference on Computer Aided Verification (CAV 2001)
- Proceedings of the 10th EACSL Annual Conference / 15th International Workshop on Computer Science Logic (CSL 2001)
- Proceedings of the 17th International Conference on Logic Programming (ICLP 2001)
- Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)
- Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)
- Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001)
- Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)
- Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)
- 2000
- Proceedings of the 17th International Conference on Automated Deduction (CADE 2000)
- Proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000)
- Proceedings of the First International Conference on Computational Logic (CL 2000)
- Proceedings of the 14th EACSL Annual Conference on Computer Science Logic (CSL 2000)
- Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000)
- Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS 2000)
- Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA 2000)
- Proceedings of the 13th International Conference on Testing Communicating Systems: Applications to Internet Technologies and Services (TestCom 2000)
- 1999
- Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)
- Proceedings of the 11th International Conference on Computer Aided Verification (CAV 1999)
- Proceedings of the 13th International Workshop on Computer Science Logic / Eighth Annual Conference of the EACSL (CSL 1999)
- Proceedings of the 15th International Conference on Logic Programming (ICLP 1999)
- Proceedings of the 12th International Workshop on Testing Communicating Systems (IWTCS 1999)
- Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999)
- Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA 1999)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)
- 1998
- Proceedings of the 15th International Conference on Automated Deduction (CADE 1998)
- Proceedings of the 10th International Conference on Computer Aided Verification (CAV 1998)
- Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1998)
- Proceedings of International Symposium on Software Testing and Analysis (ISSTA 1998)
- Proceedings of the 11th International Workshop on Testing Communicating Systems (IWTCS 1998)
- Proceedings of the Joint International 15th Conference and Symposium on Logic Programming (JICSLP 1998)
- Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS 1998)
- Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (RTA 1998)
- 1997
- Proceedings of the 14th International Conference on Automated Deduction (CADE 1997)
- Proceedings of the Ninth International Conference on Computer Aided Verification (CAV 1997)
- Selected Papers of the 11th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1997)
- Proceedings of the 14th International Conference on Logic Programming (ICLP 1997)
- Proceedings of the International Symposium on Logic Programming (ILPS 1997)
- Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS 1997)
- Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA 1997)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)
- Proceedings of the 10th International Workshop on Testing Communicating Systems (IWTCS 1997)
- 1996
- Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)
- Proceedings of the Eighth International Conference on Computer Aided Verification (CAV 1996)
- Selected Papers of the 10th International Workshop on Computer Science Logic / Annual Conference of the EACSL (CSL 1996)
- Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1996)
- Proceedings of the Joint International 13th Conference and Symposium on Logic Programming (JICSLP 1996)
- Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)
- Proceedings of the Seventh International Conference on Rewriting Techniques and Applications (RTA 1996)
- Proceedings of the Ninth International Workshop on Protocol Test Systems (IWPTS 1996)
- 1995
- Proceedings of the Seventh International Conference on Computer Aided Verification (CAV 1995)
- Proceedings of the 12th International Conference on Logic Programming (ICLP 1995)
- Proceedings of the International Symposium on Logic Programming (ILPS 1995)
- Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS 1995)
- Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA 1995)
- Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
- Proceedings of the Eighth International Workshop on Protocol Test Systems (IWPTS 1995)
- 1994
- Proceedings of the 12th International Conference on Automated Deduction (CADE 1994)
- Proceedings of the Sixth International Conference on Computer Aided Verification (CAV 1994)
- Proceedings of the 11th International Conference on Logic Programming (ICLP 1994)
- Proceedings of the International Symposium on Logic Programming (ILPS 1994)
- Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1994)
- Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS 1994)
- Proceedings of the Seventh International Workshop on Protocol Test Systems (IWPTS 1994)
- 1993
- Proceedings of the Fifth International Conference on Computer Aided Verification (CAV 1993)
- Selected Papers of the Seventh Workshop on Computer Science Logic (CSL 1993)
- Proceedings of the 10th International Conference on Logic Programming (ICLP 1993)
- Proceedings of the International Symposium on Logic Programming (ILPS 1993)
- Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1993)
- Proceedings of the Sixth International Workshop on Protocol Test Systems (IWPTS 1993)
- Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)
- Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)
- 1992
- Proceedings of the 11th International Conference on Automated Deduction (CADE 1992)
- Proceedings of the Fourth International Workshop on Computer Aided Verification (CAV 1992)
- Proceedings of the Sixth Workshop on Computer Science Logic (CSL 1992)
- Proceedings of the Fifth International Workshop on Protocol Test Systems (IWPTS 1992)
- Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming (JICSLP 1992)
- Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS 1992)
- 1991
- Proceedings of the Third International Workshop on Computer Aided Verification (CAV 1991)
- Proceedings of the Fifth Workshop on Computer Science Logic (CSL 1991)
- Proceedings of the Eighth International Conference on Logic Programming (ICLP 1991)
- Proceedings of the Eighth International Symposium on Logic Programming (ILPS 1991)
- Proceedings of the Fourth International Workshop on Protocol Test Systems (IWPTS 1991)
- Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS 1991)
- Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA 1991)
- Proceedings of the Symposium on Testing, Analysis, and Verification (ISSTA 1991)
- 1990
- Proceedings of the 10th International Conference on Automated Deduction (CADE 1990)
- Proceedings of the Second International Workshop on Computer Aided Verification (CAV 1990)
- Proceedings of the Seventh International Conference on Logic Programming (ICLP 1990)
- Proceedings of the Fourth Workshop on Computer Science Logic (CSL 1990)
- Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS 1990)
- Proceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1990)
- Proceedings of the Third International Workshop on Protocol Test Systems (IWPTS 1990)
- 1989
- Proceedings of the Third Workshop on Computer Science Logic (CSL 1989)
- Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS 1989)
- Proceedings of the North American Conference on Logic Programming, 2 Volumes (NACLP 1989)
- Proceedings of the Third International Conference on Rewriting Techniques and Applications (RTA 1989)
- Proceedings of the Third Symposium on Testing, Analysis, and Verification (ISSTA 1989)
- Proceedings of the Second International Workshop on Protocol Test Systems (IWPTS 1989)
- 1988
- Proceedings of the Ninth International Conference on Automated Deduction (CADE 1988)
- Proceedings of the Second Workshop on Computer Science Logic (CSL 1988)
- Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes (ICLP/SPL 1988)
- Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS 1988)
- Proceedings of the First International Workshop on Protocol Test Systems (IWPTS 1988)
- 1987
- Proceedings of the First Workshop on Computer Science Logic (CSL 1987)
- Proceedings of the Fourth International Conference on Logic Programming, 2 Volumes (ICLP 1987)
- Proceedings of the Second Symposium on Logic in Computer Science (LICS 1987)
- Proceedings of the Second International Conference on Rewriting Techniques and Applications (RTA 1987)
- Proceedings of the Fourth Symposium on Logic Programming (SLP 1987)
- 1986
- Proceedings of the Eighth International Conference on Automated Deduction (CADE 1986)
- Proceedings of the Third International Conference on Logic Programming (ICLP 1986)
- Proceedings of the First Symposium on Logic in Computer Science (LICS 1986)
- Proceedings of the Third Symposium on Logic Programming (SLP 1986)
- 1985
- Proceedings of the First International Conference on Rewriting Techniques and Applications (RTA 1985)
- Proceedings of the Second Symposium on Logic Programming (SLP 1985)
- 1984
- Proceedings of the Seventh International Conference on Automated Deduction (CADE 1984)
- Proceedings of the Second International Logic Programming Conference (ILPC 1984)
- Proceedings of the First International Symposium on Logic Programming (SLP 1984)
- 1982
- Proceedings of the Sixth International Conference on Automated Deduction (CADE 1982)
- Proceedings of the First International Logic Programming Conference (ILPC 1982)
- 1980
- Proceedings of the Fifth International Conference on Automated Deduction (CADE 1980)