Computability in Europe 2010 [... held at Universidade dos Acores, Ponta Delgada, Portugal. between June 30 and July 4, 2010]

“… Annals of pure and applied logic …”

The Symposium on Logical Foundations of Computer Science 2009 [(LFCS 09) ... Deerfield Beach, Florida, from January 3 - 6]

“… Annals of pure and applied logic …”

Methods of logic in mathematics

“… Annals of pure and applied logic …”

Joint Workshop Domains VIII - Computability over Continuous Data Types, Novosibirsk, September 11 - 15, 2007

“… Annals of pure and applied logic …”

Logic Colloquium 2006 [annual European meeting of the Association for Symbolic Logic - was held from July 27 to August 2, 2006, in Nijmegen]

“… Annals of pure and applied logic …”

Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002) [... took place in Venice, Italy, from April 2 to April 4, 2002]

“… Annals of pure and applied logic …”

Proceedings of the Workshop on Proof Theory and Complexity PTAC '98 University of Aarhus, Denmark, August 3 - 7, 1998

“… Annals of pure and applied logic …”

Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg"

“… Annals of pure and applied logic …”

Third Workshop on Formal Topology [3WFTop took place in Padua from 9 to 12 May 2007]

“… Annals of pure and applied logic …”

Continuity, Computability, Constructivity: from Logic to Algorithms

“… Annals of pure and applied logic …”

Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science

“… Annals of pure and applied logic …”

Logic Colloquium 2009 [... the European Summer Meeting of the Association for Symbolic Logic, was hosted by the Sofia University from July 31 to August 5, 2009]

“… Annals of pure and applied logic …”

A selection of papers presented at the Provability, Interpretability and Arithmetic Symposium 24 - 31 August 1991, Utrecht, Netherlands

“… Annals of pure and applied logic …”

A selection of papers presented at the "Stability in Model Theory III" Conference 17 - 21 June 1991, Trento, Italy

“… Annals of pure and applied logic …”

Computation and logic in the real world CiE 2007 ; [the ten papers in this special issue arose from the conference CiE 2007: Computation and Logic in the Real World, held at the Un...

“… Annals of pure and applied logic …”

Papers presented at the International Symposium on Mathematical Logic and Its Applications Nagoya, Japan, November 7 - 11, 1988

“… Annals of pure and applied logic …”

Classical logic and computation (2006) [CL&C'06 was the first of a new conference series on "Classical logic and computation"]

“… Annals of pure and applied logic …”

12th Workshop on Logic, Language, Information and Computation [held in Florianópolis, Santa Catarina, Brazil, from July 19th to 22nd, 2005]

“… Annals of pure and applied logic …”

Papers presented at the third Asian Conference in Mathematical Logic October 26 - 30, 1987, Beijing, P. R. China

“… Annals of pure and applied logic …”

International meeting on logic, algebra and geometry

“… Annals of pure and applied logic …”