<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),
<br>
Leeds (2016), 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 grant applications: May 4, 2018
<br>
Deadline for early registration: May 23, 2018
<br>
Notification for paper acceptance: May 11, 2018
<br>
<br>
Main event: July 23 (9am)- July 28 (1pm)
<br>
<br>
<br>
TUTORIAL SPEAKERS:
<br>
==================
<br>
U. Sattler (University of Manchester)
<br>
K. Tent (WWU Münster)
<br>
<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>
<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>
- Speakers: C. Conley (Carnegie Mellon University)
<br>
J. Melleray (Université Lyon I)
<br>
T. Tsankov (Université Paris Diderot)
<br>
R. Tucker-Drob (Texas A&M University)
<br>
<br>
* Model theory:
<br>
- Chairs: E. Casanovas (Universitat de Barcelona)
<br>
F. Wagner (Université Lyon I)
<br>
- Speakers: A. Deloro (Université Pierre et Marie Curie)
<br>
I. Goldbring (UC Irvin)
<br>
N. Hempel (UCLA)
<br>
N. Ramsey (UC Berkeley)
<br>
<br>
* Proof theory and constructivism:
<br>
- Chairs: S. Ghilardi (Università degli Studi di Milano)
<br>
G. Sambin (Università degli Studi di Padova)
<br>
- Speakers: R. Akiyoshi (Waseda University)
<br>
M. Escardó (University of Birmingham)
<br>
A. Palmigiano (TU Delft)
<br>
C. Xu (Ludwig-Maximilians-Universität München)
<br>
<br>
* Temporal and multivalued logics:
<br>
- Chairs: B. Gerla (Università dell'Insubria)
<br>
M. Lange (Universität Kassel)
<br>
- Speakers: A. Kurucz (King's College London)
<br>
D. Mundici (Università degli Studi di Firenze)
<br>
P. K. Pandya (Tata Institute of Fundamental
Research; IIT Mumbai)
<br>
A. Vidal (Czech Academy of Sciences)
<br>
<br>
* Computability theory:
<br>
- Chairs: P. Shafer (University of Leeds)
<br>
A. Sorbi (Università di Siena 1240)
<br>
- Speakers: J. Franklin (Hofstra University)
<br>
T. Kihara (Nagoya University)
<br>
S. Ng (Nanyang Technological University)
<br>
L. B. Westrick (University of Connecticut)
<br>
<br>
* Philosophy of Logic and Mathematics:
<br>
- Chairs: J. Kennedy (University of Helsinki)
<br>
G. Sagi (University of Haifa)
<br>
- Speakers: B. Halimi (Université Paris Nanterre)
<br>
S. Hewitt (University of Leeds)
<br>
L. Picollo (Ludwig-Maximilians-Universität
München)
<br>
N. Wyatt (University of Calgary)
<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
<br>
University of Udine, Italy
<br>
<br>
G. D'Agostino (Co-Chair)
<br>
A. Montanari (Co-Chair)
<br>
V. Dimonte
<br>
E. Frittaion
<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 LaTeX source
code, via EasyChair, at the URL:
<br>
<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>
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>
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 GRANTS:
<br>
=======================
<br>
The ASL, the NSF, and the local organizing committee will make
available modest
<br>
awards to graduate students in logic and to recent PhDs to attend
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 grants and recommendations should be
received by 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>
Students waiting for the acceptance of a grant application
<br>
should not register, since the grant may include discounts to the
<br>
registration fee. After the acceptance, an ad hoc registration
<br>
form will be available for them. Students whose application is
<br>
declined will still have time to register before the early
<br>
registration deadline.
<br>
<br>
______________________________________________
<br>
<br>
The event is made possible thanks to the financial support of:
<br>
<br>
* ASL (Association for Symbolic Logic)
<br>
<a class="moz-txt-link-freetext"
href="https://www.aslonline.org">https://www.aslonline.org</a>
<br>
* NSF (National Science Foundation)
<br>
<a class="moz-txt-link-freetext" href="https://www.nsf.gov">https://www.nsf.gov</a>
<br>
* SILFS (Società Italiana di Logica e Filosofia delle Scienze)
<br>
<a class="moz-txt-link-freetext" href="http://www.silfs.it">http://www.silfs.it</a>
<br>
* AILA (Associazione Italiana di Logica e sue Applicazioni)
<br>
<a class="moz-txt-link-freetext"
href="http://www.ailalogica.it">http://www.ailalogica.it</a>
<br>
* Università degli Studi di Udine
<br>
<a class="moz-txt-link-freetext" href="https://www.uniud.it/">https://www.uniud.it/</a>
<br>
* GNSAGA - INdAM
<br>
<a class="moz-txt-link-freetext"
href="http://www.altamatematica.it/gnsaga">http://www.altamatematica.it/gnsaga</a>
<br>
* Italian Chapter of EATCS (European Association for Theoretical
Computer Science)
<br>
<a class="moz-txt-link-freetext"
href="https://www.eatcs.org/index.php/italian-chapter">https://www.eatcs.org/index.php/italian-chapter</a>
<br>
______________________________________________
<br>
<br>
Sponsor:
<br>
<br>
* AMGA
<br>
<a class="moz-txt-link-freetext"
href="http://www.amgaenergiaeservizi.it/">http://www.amgaenergiaeservizi.it/</a>
<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></p>
<p><a class="moz-txt-link-freetext"
href="https://www.aslonline.org/info-newsletter.html"><br>
</a></p>
<p><a class="moz-txt-link-freetext"
href="https://www.aslonline.org/info-newsletter.html"><br>
</a>
</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>