Caros, mandei um email errado para a lista, que era somente par o Samuel. Por favor não considerem o conteudo que ainda não foi confermado.
Abraço, Giorgio 2018-03-27 7:32 GMT-03:00 Giorgio Venturi <gio.vent...@gmail.com>: > 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/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/1574085157.153608.152208368845 >> 6.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/CAECRgWV-uoqXLz2ouzLqhcXdz-na6frkUXsYYr5h5%2BA5A_zowA%40mail.gmail.com.