Pode ser de interesse a membros da lista. ****
Dear all, Thank you in advance to forward the following information to master and PhD students in the field of logic (Philosophy, Mathematics, Computing theory). May I focus your attention on the fact that students grants are available for the autumn intensive school, and the workhops which follow. Yours, Jean-Baptiste Joinet *———————————-* *Jean-Baptiste Joinet* *Professeur des universités* *Faculté de philosophie (**Bureau 18, 1er étage)* *Université Jean Moulin - Lyon 3* * 1 rue de l’Université, 69002 Lyon jean-baptiste.joi...@univ-lyon3.fr <jean-baptiste.joi...@univ-lyon3.fr> http://www-philo.univ-paris1.fr/Joinet/ <http://www-philo.univ-paris1.fr/Joinet/> +33 4 78 78 72 38 <%2B33%204%2078%2078%2072%2038> * *Responsable de l’international pour la Faculté* *Responsable du parcours LHPST (Master mention Philosophie)* *Institut de Recherches Philosophiques de Lyon* *IRPhiL (E.A. 4187, Lyon 3)* Salle 403 *18 rue Chevreul* 69007 Lyon *Chercheur associé au Centre Cavaillès* *La République des savoirs : Lettres, Sciences, Philosophie* *USR 3608 (CNRS, ENS Paris, Collège de France)* *Ecole Normale Supérieure,* *29 rue d'Ulm, 75005 Paris* *jean-baptiste.joi...@ens.fr <jean-baptiste.joi...@ens.fr>* *+33 1 44 32 29 60 <%2B33%201%2044%2032%2029%2060>* — Call for Participation AUTUMN SCHOOL ON LINEAR LOGIC 7-8 nov 2016, Lyon, France as part of the four-day event: LL2016 - Linear Logic: interaction, proofs and computation https://ll2016.sciencesconf.org/ *(Important: student grants, see below. Deadline: sep 20, 2016) * ================================================ * AUDIENCE This school is mainly directed towards master's students, with a background in logic and philosophy, computer science or mathematics. It is also opened to PhD students and researchers who would like to learn about linear logic. * CONTEXT AND OVERVIEW The school is part of a more general four-day event, 'Linear Logic: interaction, proofs and computation' which will also include a workshop 'Linear logic and philosophy' (8 nov, afternoon, at University Lyon 3) and a workshop 'Linear logic, mathematics and computer science' (9-10 nov, at ENS Lyon). The aim of the school lectures is to give to the attending students the core background knowledge in order to attend the talks of the two workshops. * PROGRAMME The goal of the school is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only basic knowledge of classical logic and of formal proof systems (sequent calculus or natural deduction). Its aim is to allow the attendees to understand for example: motivations and origins of linear logic; linear logic connectives; sequent calculus; proof-nets; semantics; relationships with intuitionistic and classical logic... The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site. * REGISTRATION - Deadline for registration: sept 30, 2016 - No registration fees - To registrate see the web page: https://ll2016.sciencesconf.org/ * STUDENT GRANTS - A limited number of student grants is available, that can cover local expenses (accomodation and meals) and transport. Applications for attending the 4 days of LL2016 will be considered favorably. - Deadline for application for student grants: sept 20, 2016 - How to apply: the application should contain a short curriculum vitae (mentioning the degree prepared, eg Master or PhD), a letter from a person supervising the student (eg director of the Master programme, Master thesis supervisor or PhD advisor), and a short motivation letter by the applicant. Please follow the instructions that will be made available on the web page. * LOCATION AND TRAVEL - The autumn school on Linear logic will take place at Université Lyon 3. - The workshop 'Linear logic and philosophy' (8 nov, afternoon) will take place at Université Lyon 3. - The workshop 'Linear logic, mathematics and computer science' (9-10 nov) will take place at ENS Lyon. - Travel: information on how to arrive to Lyon and to reach the event venues will be made available on the web site. * SCIENTIFIC COMMITTEE of LL2016 Michele Abrusci (Univ. Roma Tre, Italy) [chair] Patrick Baillot (CNRS, LIP, ENS Lyon, France) Thomas Ehrhard (CNRS, IRIF, Univ. Denis Diderot - Paris 7, France) Martin Hofmann (Ludwig-Maximilians-Universität München, Deutschland) Jean-Baptiste Joinet (IRPhil, Univ. Jean Moulin - Lyon 3, France) Olivier Laurent (CNRS, LIP, ENS Lyon, France) Mitsu Okada (Univ. Keiô, Tokyo, Japan) Myriam Quatrini (I2M, Univ. Aix-Marseille, France) Phil Scott (Univ. Ottawa, Canada) Lorenzo Tortora de Falco (Univ. Roma Tre, Italy) -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 9193-6127 / 3215-3819 Fax: +55 84 3211-9219 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BW4xveY7hrRYzQiSsbss7M%2BXdAGY-No1owT7wzvZBTzCg%40mail.gmail.com.
