[FOM] Reminder, deadline 6 of August: Cantor conference São Paulo-Campinas

[gventuri at unicamp.br]

CANTOR MEETS ROBINSON
Set theory, model theory and their philosophy
São Paulo-Campinas December, 2018
https://cantormeetsrobinson.wordpress.com/


Mini-courses
University of São Paulo - IME
São Paulo, 3-7 December, 2018


A series of three mini-courses will be held the week before the  
conference on the following topics:

- Large Cardinals (Joan Bagaria, Universitat de Barcelona)

- Robinson Forcing (Ricardo Bianconi, Universidade de São Paulo)

- Forcing Axioms (Boban Veličković, Univeristé Paris Diderot)

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _


Conference
University of Campinas - IMECC
Campinas, 12-15 December 2018

Georg Cantor (1845-1918) is widely recognized as the creator of set  
theory and one of the most important figures in the development of a  
modern approach to mathematics. Abraham Robinson (1918-1974) is  
considered a prominent personality in model theory, a field that he  
helped to innovate with new techniques and results. In this conference  
we celebrate the centenary of the year 1918, when they ideally met and  
the torch was passed.

The topic of the conference is the interplay between set theory and  
model theory, both from a mathematical and a philosophical  
perspective, with particular emphasis on the method of forcing. This  
method, invented by Cohen in 1963, facilitated not only a proof of the  
independence of the Continuum Hypothesis, but also placed at the  
center of set theory the study of its models. Its model theoretic  
version, invented by Robinson, attempts to generalize the notion of  
algebraic closed fields to other areas of mathematics.

The conferece aims to gather early career scholars in order to foster  
collaborations and to present a wide perspective on the topics that   
Cantor and Robinson helped to create and develop.


Invited Speakers

Carolin Antos (Universität Konstanz)
David Asperó (University of East Anglia)
Joan Bagaria (Universitat de Barcelona)
Neil Barton (Kurt Gödel Research Center for Mathematical Logic)
Marcelo Coniglio (Universidade de Campinas)
Rodrigo Freire (Universidade de Brasília)
Samuel Gomes da Silva (Universidade Federal da Bahia) TBC
Lúcia Junqueira (Universidade de São Paulo)
Alexandre Miquel (Universidad de la República)
Hugo Mariano (Universidade de São Paulo)
Francisco Miraglia (Universidade de São Paulo)
Carlos di Prisco (Los Andes University)
Boban Velickovic (Université Paris Diderot)
Matteo Viale (Univeristà di Torino)
Andrés Villaveces (Los Andes University)

We expect to host up to 14 contributed talks by speakers of any  
nationalities by double-blind review. Submissions of original  
contributions are invited in any area of set theory, model theory, and  
philosophy of set theory or model theory with particular attention to  
the the following topics:

- Forcing in set theory
- Model theoretic forcing
- Generic absoluteness principles
- Forcing Axioms
- Boolean valued models and constructions
- Maximality
- Universism or Pluralism
- Theory and Structure(s)
- Genericity and arbitrariness

  Submissions by young scholars are especially welcome.

Abstracts must be written in English, and have a *maximum length of  
600 words (references included)*, and should be prepared for  
blind-review, with all identifying details (name, affiliation, email  
and abstract title) in a separate file. Submissions should be sent in  
.pdf format. Abstracts for contributed papers should be emailed to  
cantormeetsrobinson at gmail.com deadline for submission is  August 6,  
2018.

The conference will be entirely held in English.


Important dates

Deadline for submission: August 6, 2018.
Expected notification of acceptance: September 6, 2018.
Mini-Courses: December 3-7, 2018.
Conference dates: December 12-15, 2018.


Registration

Attendance is free. For organizational reasons registration by email  
before the 1st of November is highly recommended. Participation can be  
confirmed by writing to cantormeetsrobinson at gmail.com


Conference scientific committee

Ofélia Alas (Universidade de São Paulo)
Riccardo Bianconi (Universidade de São Paulo)
Christina Brech (Universidade de São Paulo)
Mirna Dzamonja (University of East Anglia)
Wilfrid Hodges (Kings College, University of London)
Luca Incurvati (University of Amsterdam)
Toby Meadows (University of Queensland)
Carlos di Prisco (Los Andes University)
Sean Walsh (University of California in Los Angeles)

Local Organizing Committee

Rodrigo Freire
Hugo Mariano
Cezar Mortari
Giorgio Venturi (chair)
Edgar Almeida
Edson Bezerra
Santiago Jockwich
João Vitor Smith
Bruno Ramos


Sponsored by

FAPESP, FAEPEX


Under the auspices of

Sociedade Brasileira de Lógica (SBL)