The 6th Barcelona Logic Meeting

Sign in
Workshop
From July 05, 2000
to July 08, 2000

Organizing Committee

JOAN BAGARIA

Universitat de Barcelona

ENRIQUE CASANOVAS

Universitat de Barcelona

RAFEL FARRÉ

Universitat Politècnica de Catalunya

JOSEP MARIA FONT

Universitat de Barcelona

JUAN CARLOS MARTÍNEZ

Universitat de Barcelona

HIROAKIRA ONO

Japan Advanced Institute of Science and Technology

MARGARITA OTERO

Universidad Autónoma de Madrid

STEVO TODORCEVIC

CNRS, Paris

SPEAKERS

JOSÉ LUÍS BALCÁZAR (Universitat Politècnica de Catalunya)
Abstract combinatorial dimensions, query learning, and the intuition of compactness
JOHN T. BALDWIN (University of Illinois at Chicago)
Constructing “monster” models
PILAR DELLUNDE  (Universitat Autònoma de Barcelona)
Model theory of modules of separably closed fields
SY D. FRIEDMAN  (Universität Wien)
7 Aspects of Pure Set Theory

PETER KOEPKE  (Universität Bonn)
A Simplified Finestructure for the Constructible Univers

 

J. DONALD MONK  (University of Colorado at Boulder)
Continuum cardinals generalized to Boolean algebras
YA’ACOV PETERZIL  (University of Haifa)
Expansions of algebraically closed fields in 0-minimal structures
ANAND PILLAY  (University of Illinois at Urbana-Champaign)
Definability in compact complex manifolds
YDE VENEMA  (Universiteit van Amsterdam)
Canonicity for Boolean algebras with operators
MICHAEL ZAKHARYASCHEV  (University of Leeds)
On the “classical decision problem” for temporal and modal first-order logics

INVOICE/PAYMENT INFORMATION

IF YOUR INSTITUTION COVERS YOUR REGISTRATION FEE: Please note that, in case your institution is paying for the registration via bank transfer, you will have to indicate your institution details and choose “Transfer” as the payment method at the end of the process.

UPF | UB | UPC | UAB

*If the paying institution is the UPF / UB/ UPC / UAB, after registering, please send an email to comptabilitat@crm.cat with your name and the institution internal reference number that we will need to issue the electronic invoice. Please, send us the Project code covering the registration if needed.

Paying by credit card

IF YOU PAY VIA CREDIT CARD but you need to provide the invoice to your institution to be reimbursed, please note that we will also need you to send an email to comptabilitat@crm.cat providing the internal reference number given by your institution and the code of the Project covering the registration (if necessary).

LODGING INFORMATION

ON-CAMPUS AND BELLATERRA

BARCELONA AND OFF-CAMPUS 

 

For inquiries about this event please contact the Scientific Events Coordinator Ms. Núria Hernández at nhernandez@crm.cat​​

 

scam warning

We are aware of a number of current scams targeting participants at CRM activities concerning registration or accommodation bookings. If you are approached by a third party (eg travellerpoint.org, Conference Committee, Global Travel Experts or Royal Visit) asking for booking or payment details, please ignore them.

Please remember:
i) CRM never uses third parties to do our administration for events: messages will come directly from CRM staff
ii) CRM will never ask participants for credit card or bank details
iii) If you have any doubt about an email you receive please get in touch