Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-9pm4c Total loading time: 0 Render date: 2024-04-30T05:23:42.773Z Has data issue: false hasContentIssue false

Introduction

Published online by Cambridge University Press:  05 July 2014

Alessandro Andretta
Affiliation:
Università degli Studi di Torino, Italy
Keith Kearnes
Affiliation:
University of Colorado, Boulder
Domenico Zambella
Affiliation:
Università degli Studi di Torino, Italy
Get access

Summary

The Logic Colloquium 2004, the European Summer Meeting of the Association for Symbolic Logic, was held in Torino, Italy, 25–31 July 2004.

With more than 280 participants from all over the world, ten one-hour plenary lectures, four tutorials (three hours each), a panel discussion, three special sessions (with 20 speakers), and more than 200 contributed talks, the Logic Colloquium 2004 managed to present a broad spectrum of ideas, results, techniques, and problems in current research in logic.

The Program Committee consisted of: Toshiyasu Arai, Warren Goldfarb, Greg Hjorth, Dick de Jongh, Steffen Lempp, Gabriele Lolli, David Marker, Tony Martin, Ralph McKenzie, Wolfram Pohlers (Chair), Wilfried Sieg, Andrea Sorbi, and Alex Wilkie.

The Local Organizing Committee consisted of: Alessandro Andretta (Chair), Stefano Berardi, Riccardo Camerlo, Ugo de'Liguoro, Mariangiola Dezani, Alberto Marcone, Nicola Olivetti, and Domenico Zambella.

The meeting was organized by the logicians at the Dipartimento di Matematica and Dipartimento di Informatica of the University of Torino and was held at the Centro Congressi dell'Unione Industriale.

Sponsors. We would like to express our sincerest thanks to the following institutions, which, with their generous financial support, made this meeting possible. First and foremost, the Association for Symbolic Logic, which gave us the opportunity to organize the meeting and supported many students and post-docs with travel grants.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Introduction
  • Edited by Alessandro Andretta, Università degli Studi di Torino, Italy, Keith Kearnes, University of Colorado, Boulder, Domenico Zambella, Università degli Studi di Torino, Italy
  • Book: Logic Colloquium 2004
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9780511721151.001
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Introduction
  • Edited by Alessandro Andretta, Università degli Studi di Torino, Italy, Keith Kearnes, University of Colorado, Boulder, Domenico Zambella, Università degli Studi di Torino, Italy
  • Book: Logic Colloquium 2004
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9780511721151.001
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Introduction
  • Edited by Alessandro Andretta, Università degli Studi di Torino, Italy, Keith Kearnes, University of Colorado, Boulder, Domenico Zambella, Università degli Studi di Torino, Italy
  • Book: Logic Colloquium 2004
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9780511721151.001
Available formats
×