[TYPES/announce] Logic Colloquium 2018 (LC18): 2nd call for contributions
Dario Della Monica
dario.dellamonica at unina.it
Wed Mar 7 02:13:40 EST 2018
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 grant applications: May 4, 2018
Deadline for early registration: May 23, 2018
Main event: July 23 (9am)- July 28 (1pm)
TUTORIAL SPEAKERS:
==================
U. Sattler (University of Manchester)
K. Tent (WWU Münster)
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)
- Speakers: C. Conley (Carnegie Mellon University)
J. Melleray (Université Lyon I)
T. Tsankov (Université Paris Diderot)
R. Tucker-Drob (Texas A&M University)
* Model theory:
- Chairs: E. Casanovas (Universitat de Barcelona)
F. Wagner (Université Lyon I)
- Speakers: A. Deloro (Université Pierre et Marie Curie)
I. Goldbring (UC Irvin)
N. Hempel (UCLA)
N. Ramsey (UC Berkeley)
* Proof theory and constructivism:
- Chairs: S. Ghilardi (Università degli Studi di Milano)
G. Sambin (Università degli Studi di Padova)
- Speakers: R. Akiyoshi (Waseda University)
M. Escardó (University of Birmingham)
A. Palmigiano (TU Delft)
C. Xu (Ludwig-Maximilians-Universität München)
* Temporal and multivalued logics:
- Chairs: B. Gerla (Università dell'Insubria)
M. Lange (Universität Kassel)
- Speakers: A. Kurucz (King's College London)
D. Mundici (Università degli Studi di Firenze)
P. K. Pandya (Tata Institute of Fundamental Research;
IIT Mumbai)
A. Vidal (Czech Academy of Sciences)
* Computability theory:
- Chairs: P. Shafer (University of Leeds)
A. Sorbi (Università di Siena 1240)
- Speakers: J. Franklin (Hofstra University)
T. Kihara (Nagoya University)
S. Ng (Nanyang Technological University)
L. B. Westrick (University of Connecticut)
* Philosophy of Logic and Mathematics:
- Chairs: J. Kennedy (University of Helsinki)
G. Sagi (University of Haifa)
- Speakers: B. Halimi (Université Paris Nanterre)
S. Hewitt (University of Leeds)
L. Picollo (Ludwig-Maximilians-Universität München)
N. Wyatt (University of Calgary)
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 at uniud.it
SUBMISSIONS:
===================
Abstracts of contributed papers must be submitted as LaTeX source code,
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).
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.
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 GRANTS:
=======================
The ASL, the NSF, and the local organizing committee will make available
modest
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 grants and recommendations should be received
by May 4, 2018.
They should be submitted electronically, by email to LC18grant at 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
Students waiting for the acceptance of a grant application
should not register, since the grant may include discounts to the
registration fee. After the acceptance, an ad hoc registration
form will be available for them. Students whose application is
declined will still have time to register before the early
registration deadline.
______________________________________________
The event is made possible thanks to the financial support of:
* ASL (Association for Symbolic Logic)
https://www.aslonline.org
* NSF (National Science Foundation)
https://www.nsf.gov
* SILFS (Società Italiana di Logica e Filosofia delle Scienze)
http://www.silfs.it
* AILA (Associazione Italiana di Logica e sue Applicazioni)
http://www.ailalogica.it
* Università degli Studi di Udine
https://www.uniud.it/
* GNSAGA - INdAM
http://www.altamatematica.it/gnsaga
* Italian Chapter of EATCS (European Association for Theoretical
Computer Science)
https://www.eatcs.org/index.php/italian-chapter
______________________________________________
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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180307/0e31c8bf/attachment-0001.html>
More information about the Types-announce
mailing list