| Betreff: | [WI] Logic Colloquium 2018 (LC18): 1st call for contributions |
|---|---|
| Datum: | Sun, 10 Dec 2017 13:48:41 +0100 |
| Von: | Dario Della Monica <dario.dellamonica@unina.it> |
| Antwort an: | Dario Della Monica <dario.dellamonica@unina.it> |
| An: | dario.dellamonica@unina.it |
We are happy to announce the following event and we would be
glad if you could forward this message to whom it might
interest.
LC 2018
Udine, Italy
July 23-28, 2018
https://lc18.uniud.it
________________________________________________________________________
LOGIC COLLOQUIUM 2018
https://lc18.uniud.it
The Logic Colloquium 2018 is the annual European summer meeting
of
the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm).
It will be held during July 23-28, 2018, at the University of
Udine, Italy,
and is organized by the Department of Mathematics, Computer
Science,
and Physics of the University of Udine.
The latest meetings took place in Paris (2010), Barcelona
(2011),
Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015),
Leeds (2016)
and Stockholm (2017).
The Association for Symbolic Logic (ASL) is an international
organization
supporting research and critical studies in logic.
Its primary function is to provide an effective forum for the
presentation,
publication, and discussion of scholarly work in this area of
inquiry.
The Association holds two major annual meetings to present
current
research in all aspects of logic in a way that is accessible to
all logicians.
IMPORTANT DATES:
============================
Deadline for abstract submission: April 27, 2018
Deadline for travel grant applications: May 4, 2018
Deadline for early registration: May 23, 2018
Main event: July 23 (9am)- July 28 (1pm)
TUTORIAL SPEAKERS:
==================
K. Tent (WWU Münster)
U. Sattler (University of Manchester)
INVITED SPEAKERS:
=================
M. Antonutti Marfori (Ludwig-Maximilians-Universität München)
A. Atserias (Universitat Politècnica de Catalunya)
V. Brattka (Universität der Bundeswehr München)
A. Ciabattoni (TU Wien)
P. D’Aquino (Università degli Studi della Campania)
P. Oliva (Queen Mary University of London)
L. Patey (Institut Camille Jordan, Lyon)
A. Tserunyan (University of Illinois at Urbana-Champaign)
S. Unger(Tel Aviv University)
M. Viale (Università degli studi di Torino)
D. Westerstahl (Stockholm University)
GOEDEL SPEAKER:
================
R. Downey (Victoria University of Wellington)
SPECIAL SESSIONS:
=================
6 special sessions with topics:
* Descriptive set theory and dynamical systems:
Chairs: B. Miller (Universität Wien),
A. Törnquist (København Universitet)
* Model theory:
Chairs: F. Wagner (Université Lyon I),
E. Casanovas (Universitat de Barcelona)
* Proof theory and constructivism:
Chairs: S. Ghilardi (Università degli Studi di Milano),
G. Sambin (Università degli Studi di Padova)
* Temporal and multivalued logics:
Chairs: M. Lange (Universität Kassel),
B. Gerla (Università dell'Insubria)
* Computability theory:
Chairs: A. Sorbi (Università di Siena 1240),
P. Shafer (University of Leeds)
* Philosophy of Logic and Mathematics:
Chairs: J. Kennedy (University of Helsinki),
G. Sagi (University of Haifa)
PROGRAM COMMITTEE:
=============
D. Macpherson (Chair) (University of Leeds)
S. Demri (CNRS)
A. Kechris (California Institute of Technology)
C. Laskowski (University of Maryland)
A. Marcone (Università degli Studi di Udine)
A. Montalban (UC Berkeley)
P. Pudlàk (Czech Academy of Sciences)
G. Sher (UC San Diego)
D. Sinapova (University of Illinois at Chicago)
LOCAL ORGANIZATION COMMITTEE:
=============
Department of Mathematics, Computer Science and Physics,
University of
Udine, Italy
G. D'Agostino (Co-Chair)
A. Montanari (Co-Chair)
V. Dimonte
G. Gherardi
A. Marcone
F. Parlamento
C. Piazza
D. Della Monica
M. Fiori Carones
N. Gigante
A. Molinari
M. Valenti
For questions please contact lc18@uniud.it
SUBMISSIONS:
===================
Abstracts of contributed papers must be submitted as pdf file
via EasyChair at the URL: https://easychair.org/conferences/?conf=lc18.
If you do not have an EasyChair account yet, you can create one
at
https://easychair.org/
Abstract should be prepared according to the ASL instructions
http://www.aslonline.org/rules_abstracts.html
using the ASL abstract style
(available at http://aslonline.org/abstractresources.html).
For submission instructions see https://lc18.uniud.it starting from
January 2018.
The deadline for submissions is April 27, 2018.
If electronic submission is not possible, abstracts should be
mailed to:
Prof. H. Dugald Macpherson,
PC chair of Logic Colloquium 2018,
School of Mathematics, University of Leeds,
Leeds LS2 9JT, UK.
Upon notification of acceptance, authors will be requested to
submit the
TeX source files.
Abstracts are published as part of the meeting report in The
Bulletin of
Symbolic Logic only if at least one author is a member of the
ASL
at the time the report is sent for publication.
Abstracts of contributed papers submitted by ASL members will be
published in The Bulletin of Symbolic Logic, provided that they
satisfy the
Rules for Abstracts (see above).
APPLICATIONS FOR STUDENT TRAVEL GRANTS:
=======================
The ASL, the NSF, and the local organizing committee will make
available modest
travel awards to graduate students in logic and to recent PhDs
to attend
the meeting.
For more details on the grants, see:
http://www.aslonline.org/studenttravelawards.html
.
Applications for student travel grants and recommendations
should be
received between January 1 and May 4, 2018.
They should be submitted electronically, by email to LC18grant@uniud.it
If electronic submission is not possible, applications and
recommendations
should be mailed to:
Prof. H. Dugald Macpherson,
PC chair of Logic Colloquium 2018,
School of Mathematics, University of Leeds,
Leeds LS2 9JT, UK.
The application should follow the instructions on
https://lc18.uniud.it/applications
Applicants will be notified in time to be able to register with
the early
registration fee.
______________________________________________
Event sponsored by ASL, NSF, SILFS and AILA.
______________________________________________
Association of Symbolic Logic (ASL):
http://www.aslonline.org
ASL newsletters:
https://www.aslonline.org/info-newsletter.html
-- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/