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