Caro Samuel, espero que você esteja bem. Escrevo a respeito da call da CML 2018. Talvéz seja um meu problema, mas não achei a conferência no EasyChair. Você poderia me confirmar que é lá que precisa submeter e que sou só eu que não consigo?
Além disso gostaria de te informar sobre a organização da conferência sobre Cantor. Por enquanto não sai a resposta das agência de fomento, mas estou já tentando fixar as datas. Que tal os dias 12-15 de dezembro? Além disso, falando com o Rodrigo e o Hugo a gente pensou de organizar uma serie de mini cursos na USP a semana antes (3-9) sobre Axioma de Forcing, Forcing de Robinson e Grandes Cardinais. O Boban Velickovic e o Ricardo Bianconi já toparam; e estou esperando uma resposta do Joan Bagaria. Te mando também um rascunho de call for papers que será enviada assim que tiver resposta (positiva) da FAPESP. Abraço, Giorgio CANTOR MEETS ROBINSON *Set theory, model theory and their philosophy* Univeristy of Campinas 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) Christina Brech (Universidade de São Paulo) [Maybe] Neil Barton (Kurt Gödel Research Center for Mathematical Logic) Marcelo Coniglio (Universidade de Campinas) Carlos di Prisco (Los Andes University) Rodrigo Freire (Universidade de Brasília) Samuel Gomes da Silva (Universidade Federal da Bahia) Lúcia Junqueira (Universidade de São Paulo) Alexander Miquel (Universidad de la República) Hugo Mariano (Universidade de São Paulo) Francisco Miraglia (Universidade de São Paulo) 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 cantor.robin...@gmail.com ; deadline for submission is July 1, 2018. The conference will be entirely held in English. *Important dates* Deadline for submission: July 1, 2018. Expected notification of acceptance: August 15, 2018. Conference dates: 12-15 December 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 cantor.robin...@gmail.com *Conference scientific committee *Ofélia Alas (Universidade d São Paulo) Riccardo Bianconi (Universidade d São Paulo) Sean Walsh (University of California in Los Angeles) 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) *Local Organizing Committee* Rodrigo Freire Hugo Mariano Cezar Mortari Giorgio Venturi (chair) Edgar Almeida Edson Bezerra Santiago Jockwich Bruno Ramos *Sponsored by* FAPESP *Under the auspices of* Association for Symbolic Logic (ASL) TBC European Set Theory Society (ESTS) TBC Sociedade Brasileira de Lógica (SBL) 2018-03-26 14:01 GMT-03:00 Samuel Gomes da Silva <sam...@ufba.br>: > -------------------------------------------------------- > > Conference on Mathematical Logic > (Satellite Conference of the ICM 2018) > Niteroi, Brazil, 10-11 August 2018 > http://www.dlmpst.org/pages/activities/icm-2018-satellite.php > > C A L L F O R A B S T R A C T S U B M I S S I O N S > > *** D E A D L I N E A P P R O A C H I N G *** > > It is our pleasure to announce that the Sociedade Brasileira de Logica > (SBL) > and the Division for Logic, Methodology and Philosophy of Science and > Technology of the International Union for History and Philosophy of > Science and > Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical > Logic, > as a satellite conference of the International Congress of Mathematicians > 2018 > (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018. > > Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria > de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco > Miraglia, Lou van den Dries and Joris Van Der Hoeven. > > The organisers invite all researchers in mathematical logic to submit > abstracts of their research for presentation at the conference. Please > submit your abstract by the deadline of > > 1 April 2018 > > via our easychair website > > https://easychair.org/conferences/?conf=cml2018 > > ASL student travel awards. One of our sponsoring institutions, the > Association for Symbolic Logic is offering modest travel awards to > graduate students in logic to attend our conference. The deadline for > applications is 10 May 2018. Details can be found on our website. > > We are looking forward to meeting you soon in Brazil. > > Scientific & Organising Committee. Christina Brech (Sao Paulo, Brazil), > Samuel Gomes da Silva (Bahia, Brazil), Edward Hermann Haeusler (Rio de > Janeiro, Brazil), Denis Hirschfeldt (Chicago IL, U.S.A.), Fairouz > Kamareddine (Edinburgh, Scotland), Bruno Lopes (Niteroi, Brazil), Benedikt > Loewe (Amsterdam, The Netherlands & Hamburg, Germany), Hugo Nobrega > (Amsterdam, The Netherlands). > > Sponsors. > > Association for Symbolic Logic. > Associazione Italiana di Logica e sue Applicazioni > Division for Logic, Methodology and Philosophy of Science & Technology > De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte > Wetenschappen > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/1574085157.153608. > 1522083688456.JavaMail.zimbra%40ufba.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1574085157.153608.1522083688456.JavaMail.zimbra%40ufba.br?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAECRgWV2tK9RuCPyWymYB3x0WKhK3UD7OqopN0RTGAk31FhVTg%40mail.gmail.com.
