Category: Uncategorized

Student Session (StuS 2016)

The ESSLLI 2016 Student Session is held during ESSLLI 2016 at the Free University of Bozen-Bolzano, Italy, from August 15 to August 26, 2016.

The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).


News

The proceedings are now online!

Zoi Terzopoulou (and her co-authors Anthia Solaki and Bonan Zhao) and Swantje Tönnis (and her co-authors Lea Marie Fricke and Alexander Schreiber) won the Springer awards for their presentations and papers. Congratulations!

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

Deadline for submissions: March 15, 2016 March 20, 2016

https://easychair.org/conferences/?conf=essllistus2016
 

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.


ECTS Credits

The ESSLLI organisation encourages study programmes to accept ESSLLI courses for obtaining ECTS Credits (at most 3 EC), and proposes that full participation in two courses, including required reading and work, counts as 1 EC, in four courses as 2 EC, and in six or more courses as 3 EC.

The valuation of the student’s workload and learning outcome in terms of the number of ECTS credits, as well as the validation of the credits, is left to the student’s home institution.

Tango Lesson

Thanks everybody for the participation and especially to our instructors Sara and Samuel! As anticipated on Wed 24th at 21:00 they’ll hold a free class and they invited ESSLLI participants as well. The class is in the Peter Rigler dormitory in via Weggenstein, 14. For more information you can look at the FB event page.

On Tuesday, August 23 in collaboration with TangoSüdtirol we have organised a tango lesson for ESSLLI participants. It will be a lesson for beginners with no previous experience, but everybody is welcome to join. The instructors suggest to wear comfortable clothes and avoid high heels (for beginners).

The lesson will take place after the evening lecture, from 21:00 to 22:00, in the foyer in front of Aula Magna D0.01.

Participation is free but we have a limited number of places, so please sign up for the event at the registration desk.

Visiting South Tyrol

General Information about South Tyrol

http://www.suedtirol.info/en

Museums

South Tyrol Museum of Archeology

Natural History Museum of South Tyrol

Messner Mountain Museum

The Botanical Garden in Meran-Merano

The Diocesan Museum in Brixen-Bressanone

Swimming pools

The public swimming pool of Bolzano (LIDO Bolzano)

Terme Merano

Acquarena Brixen

Natural swimming pool in Gargazzone

Swimming pool in Oberbozen-Soprabolzano

Climbing Opportunities (Indoor/Outdoor)

Percorso Alta Fune: high rope climbing in the woods in Terlano, easy to reach from Bolzano with public bus for Merano. Price per adult: 28 euros. Price per group with at least 12 adults: 23 euros per person.

Salewa for climbing indoor, in Bolzano.

For other opportunities, see the tourisim information website concerning climbing in South Tyrol.

Rafting and Canyoning

See the tourisim information website concerning rafting and canyoning in South Tyrol.

Music on the Dolomites

Sounds of the Dolomites.

Trekking and Hiking

Websites for planning hikes and other outdoor activities with interactive maps:

http://www.alpenvereinaktiv.com/en/tourplanner/

http://trekking.suedtirol.info/

Here you can find already existing hiking routes:

https://www.sentres.com/en/south-tyrol

See, for instance, the following medium difficulty routes: Geisler alm, Rittner horn, Tschafonhuette, Around Meran 2000.

More experienced hikers might want to consider hiking to Schlern (you can also take the cable car to Kompatsch and start from there), Latemar, or Tre Cime. There exists also an “easy” option for Tre Cime: you can arrive by public transport directly to the Rifugio Auronzo (takes 3 hours from Bolzano), make a round tour, and come back the same day, or spend the night in one of the many rifugios (better book in advance by phone).
 

Welcome Reception

The welcome reception will take place on Monday, August 15 at 19:00 in piazza Darwin, located behind the UNIBZ canteen (see map).

 

Your oldest ESSLLI t-shirt!!!

We are at the 28th edition of this wonderful summer school.
Do you remember your first ESSLLI?
When was it?
Do you have a proof of you being there?
Do you have the oldest ESSLLI t-shirt?
Bring it with you, we will award those of you who can exhibit the oldest ESSLLI t-shirt, and those of you who have attended the highest number of ESSLLIs!
If you do not have the t-shirt with you, you might also entertain us with a funny/surprising/exciting story about your first ESSLLI (or about the t-shirt). Participants will decide whether your story can count as a proof of you being there.

Trusted Persons

The ESSLLI Summer Schools are famous for their pleasant atmosphere and for the social and friendly nature of its participants. Of course, on an event of the scale like that of ESSLLI mishappenings in conduct cannot be logically excluded. We therefore have to emphasize that the ESSLLI organization does not tolerate behavior that any decent being can conceive to be inappropriate. ESSLLI expels all sorts of physical and mental harassment, all sorts of discrimination and unwarranted incrimination, and any other unlawful acts.

In order to secure against such mishappenings ESSLLI provides for a Trusted Person to whom one can report experienced and observed misbehavior of the kinds mentioned. The Trusted Person maintains strict confidentiality, meaning that (s)he does not communicate anything (s)he has heard in his/her position, if not explicitly licensed by the Trust Seeking Person. If so instructed, the Trusted Person is also appointed to act so as to prevent further misbehavior.

The Trusted Persons at ESSLLI 2016 in Bolzano-Bozen are:

Mr. Diego Calvanese

+39 0471 016160
calvanese@inf.unibz.it

Mrs. Raffaella Bernardi

+39 0461 28 3969
raffaella.bernardi@unitn.it

Football Match

The traditional ESSLLI football match Lecturers vs. Students will take place on Monday, August 22.
Come and support your team, play or cheer for them!
We will meet at 19:15 on the football field at Talvera park (see map). It is at walking distance from the school place. See also the official page of the Bolzano municipality.

The football field is for 7+7 players. We will play on a newly prepared grass ground and only normal sneakers are allowed (football shoes with cleats cannot be used). We will provide colored vests for the two teams (which means there is no need to play naked) 🙂

Please consider that there are no dressing rooms, no lockers, and unfortunately also no bathrooms.

Players needed

We need strong players, mostly for the lecturers’ team. Please sign up at the registration desk.

Lecturers’ Dinner

The lecturers’ dinners will take place on Wednesday, August 17 and 24, at Onkel Taa (see map).

There will be a free bus service to reach the place.
The bus will leave at 18:45 from largo Adolph Kolping, in front of Kolping (see map), and will return to Bolzano at around 23:45.

Onkel Taa

Live Music

ESSLLI is proud and happy to host two renown music bands on the occasion of the dinners at Onkel Taa.

The first dinner will be accompanied by the Tiger Dixie Band:

  • Paolo Trettel, trumpet;
  • Stefano Menato saxophone/clarinet;
  • Gigi Grata, tuba;
  • Renzo De Rossi, piano;
  • Claudio Ischia, drums.

The Tiger Dixie Band will play Original Dixieland Songbook, a repertoire of jazz tunes moving from the origins of Jazz.

The second dinner will be accompanied by the Italian Lounge Quintet:

  • Giuliana Beberi, voice;
  • Fiorenzo Zeni, saxophone;
  • Daniele Martin, piano;
  • Roberto Dellantonio, double bass;
  • Luca Merlini, drums.

The Italian Lounge Quintet will play Spaghetti in Jazz Salsa, a musical homage to Italian singers and songwriters, e.g., Dalla, De André, Paoli.

Bands and music programmes are different but the common denominator is that the aims of both bands are to enjoy music and to make the audience enjoy it.

Tiger Dixie Band (left) and Italian Lounge Quintet (right)
Tiger Dixie Band (left) and Italian Lounge Quintet (right)