Fwd: Autumn school in Linear Logic (Lyon, France, 7-8 Nov. 2016). Beginners targeted (students in Logic & Philosophy, Computing Theory, Mathematics)
13 views
Skip to first unread message
Elaine Pimentel
Jul 20, 2016, 7:16:57 AM7/20/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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
—
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)
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
--------------------------------------------------------
Reply all
Reply to author
Forward
0 new messages