Location

The ESSLLI 2016 Student Session will take place at the main building (Universitätsplatz 1 – Piazza Università 1) of the Free University of Bozen-Bolzano (the venue of ESSLLI 2016).

• Talks: D1.01
• Posters: coffee break area

Program

Monday, August 15 (LoLa):

• 15:50-16:20 Anna-Christina Boell – Empirical and Corpus-based Insights on the Exhaustivity Effect of Focus-Particles in German it-Clefts
• 16:20-16:50Jovana Gajic – Ni-disjunction as a coordination marker and focus particle
• 16:50-16:55(poster) Ying Liu and Yu’An Yang – Exhaustivity in Chinese: Experimental evidence from three types of sentences

Tuesday, August 16 (LaCo/LoCo):

• 15:50-16:20Debela Tesfaye –Combining syntactic patterns and Wikipedia’s hierarchy of hyperlinks to extract relations
• 16:20-16:50Irina Stenger – How Reading Intercomprehension Works among Slavic Languages with Cyrillic Script
• 16:50-16:55(poster) Nika Pona – Exploiting Tractability in Finitely-Valued SAT Solving

Wednesday, August 17 (LoCo):

• 15:50-16:20Michał Tomasz Godziszewski –Cofinal Elementary Cuts in Countable Models of Compositional Arithmetical Truth
• 16:20-16:50Estelle Doriot – Grades of Responsibility
• 16:50-16:55(poster) Li Zhang – A new modelling for AGM revision

Thursday, August 18 (LoLa):

• 15:50-16:20Deniz Ozyildiz – Knowledge reports without truth
• 16:20-16:50Orest Xherija – Revisiting the secrets of BEFORE: lessons from Albanian and Modern Greek
• 16:50-16:55(poster) Bar Avineri – Deriving Multiple Epistemic Flavors: The Hacquardian Model and “I think” in Spoken Modern Hebrew

Friday, August 19 (LaCo/LoCo/LoLa):

• 15:50-16:20Timothée Bernard – Modelling Subordinate Conjunctions in STAG: a Discourse Perspective
• 16:20-16:50Shuai Wang – A Quantitative Analysis of Kernel Extension for Higher Order Proof Checking
• 16:50-16:55(poster) Valentina Lugovaya and Anastasiia Ryzhova – Hilbert-style Lambek calculus with two divisions

Monday, August 22 (LoLa/LaCo/LoCo):

• 15:50-16:20Karen Duek – Meaning multiplicity and composition: the view from group nouns
• 16:20-16:50Amosse Edouard – Toward the Use of Named Entities to Discover Heterogeneous Events on Twitter
• 16:50-16:55(poster) Marie Farrell – Modularising and Promoting Interoperability for Event-B Specifications using Institution Theory

Tuesday, August 23 (LoLa):

• 15:50-16:20Thomas Zeume – Winner of the Beth Prize.
• 16:20-16:50Moria Ronen – Be-gadol (~basically) as a question sensitive operator
• 16:50-16:55(poster) Swantje Tönnis, Lea Marie Fricke and Alexander Schreiber – Argument Asymmetry in German Cleft Sentences

Wednesday, August 24 (LoCo):

• 15:50-16:20Chenwei Shi – Multi-Agent Epistemic Argumentation Logic
• 16:20-16:50Zoi Terzopoulou, Anthia Solaki and Bonan Zhao – Logic of Closeness Revision: Challenging relations in social Networks
• 16:50-16:55(poster) Andrea Condoluci – (Co-)datatypes in HOL

Thursday, August 25:

• 15:50-16:50Poster Session

Friday, August 26:

• 16:00-16:50Closing session, announcement of the awards for the best talk and the best poster and announcements by FoLLI.

Important Dates

Please take note of the following important dates.

• Submission deadline: March 15, 2016 March 20, 2016
• Notification of acceptance: May 2, 2016
• Submission of camera-ready extended papers: July 1, 2016
• Conference dates: August 15-26, 2016

Call for Papers

About: The Student Session of the 28th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Bolzano, Italy, August 15th to 26th. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters . This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.

Oral/Poster Presentations: Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.

Sponsorship and Prizes: Springer generously supports the ESSLLI Student Session by offering prizes for a total of 1000€ in Springer books. The best poster and the best talk will be awarded Springer book vouchers of 500€ each. The prizes are awarded based on the reviews of the submission as well as the oral/poster presentation.

ESSLLI 2016 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. For further information, including registration information and course listings, and for general inquiries about ESSLLI 2016, please consult the main ESSLLI 2016 page.

Policies

Below you can find the submission and publication policies for the Student Session.

Submission policies:

• All authors must be students, i.e., authors may not have received their PhD degree before August 2016.
• Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper.
• If a student wants to submit both to the Student Session and to another workshop hosted by ESSLLI 2016 the presentations should be different from each other.
• Submissions should not be longer than 8 pages for an oral presentation and 4 pages for a poster presentation (including examples and references).
• Submissions must be in PDF format. We strongly recommend to use the LNCS Springer class files for LaTeX2e, since accepted papers will have to be written in this format for the proceedings. (See below for more information.)
  If you do not use this template, make sure that your submission meets the following criteria:
  DIN A4 (21 cm x 29.7 cm), 4.5 cm top margin, 4 cm right margin, 6.5 cm bottom margin, 5 cm left margin, Times New Roman, 10 pts.
• Submissions must be anonymous. That is, the submitted PDF file is not allowed to contain any information by which the author(s) can be identified, e.g., no author names.
• Submissions must be received by March 15, 2016 March 20, 2016 (by 23:59 in any time zone), and must be submitted through EasyChair.

Publication policies:

• If a paper has been accepted for the program of the Student Session but the author(s) cannot attend the Student Session and present their work, the paper might not be accepted for publication.
• Accepted papers will have to be written in LaTeX in standard LNCS format (10 pts), by using the Springer class files for LaTeX2e. (You can find more information about this format
  here.)
• Authors are expected to improve their papers according to the the reviewers’ comments and suggestions.

Proceedings

Extended versions of accepted papers are available as online proceedings.

Springer volumes in the LNCS series with the best papers of 2008-2009, the best papers of 2010-2011 and the best papers of 2012-2013 have been published. We aspire to publish a forthcoming volume for 2016-2017.

Organization

The organization of this year’s Student Session is done by:

Chairs:

Marisa Koellner (Universität Tübingen)
Ramon Ziai (Universität Tübingen)

LoCo co-chairs:

Jon-Hael Brenas (Grenoble Informatics Laboratory)
Shqiponja Ahmetaj (Technische Universität Wien)

LoLa co-chairs:

Davis Ozlos (Fribourg University)
Karoliina Lohiniva (University of Geneva)

LaCo co-chairs:

Enrico Santus (Hong Kong Polytechnic University)
Vered Shwartz (Bar-Ilan University)

Contact

For any questions, comments or remarks, please feel free to contact us at marisa.koellner@uni-tuebingen.de and rziai@sfs.uni-tuebingen.de.