<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<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>
<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>
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>
<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><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>