Using unibz Virtual Lab

Some of the courses include a practical part and, in that case, the information on the software used should be available on the web page of the course.

You can install the software on your laptop following the instructions by the lecturer or you can use a virtual machine provided by our technicians including the required software. For the latter option you’ll need an account to access our software infrastructure.

User accounts

You can find the account name and the initial password assigned to you right under your name on the envelope you received during the registration:

In addition to the virtual lab, the account can be used to access any PC available at unibz (e.g., in room A5.18). The first time you’ll connect, the system will ask you to update your password, you should be careful when entering the new password because the default keyboard layout is German (also for the virtual machine).  In case that you’ll be locked out you can contact our technicians using the email address from Tuesday August 16 onward (August 15 is a bank holiday in Italy).

The accounts can be used to connect to the Wifi network ScientificNetworkSouthTyrol after you set up the password at the first login (see below). For detailed instructions on connecting to unibz wifi you can consult the official documentation by unibz technical service (instructions for Linux).

Using the virtual lab

The virtual machine is based on VMWare Horizon infrastructure and can be accessed via a client you can install on your device (recommended option) or any HTML5 compliant web browser (this option is not supported but can be used to set up your password on the first login).

To download the software client or connect to the virtual lab visit (clients are available also from the App stores of the platforms you use). The first time you connect you can select the HTML access to set your password:


You should select the UNIBZ domain for your account:

VMware_Horizon VMware_Horizon

The virtual machine for the labs is Esslli:


The virtual machine is Linux based (Ubuntu 14.04) and you should login using the username/password you selected (be careful in selecting the right keyboard layout or select the onscreen keyboard from the “little person” menu):


The first time you log in you should set the keyboard input according to your computer. To do so you should select System Settings… under the cog menu on the top right corner and access the Text Entry preferences (view the screencast):


Additional info

  • Additional material distributed by the lecturers is available in the /home/shared/esslli folder. To access it you should use the cd command from the Terminal: cd /home/shared/esslli (see screenshot above).
  • The /home/shared/esslli folder is also available from the web using the link (only within the unibz network).
  • For details on the software used in a specific course you should contact the lecturer.
  • For additional informations you can contact the ESSLLI Course Organization <>.
  • The HTML5 interface has problems with keyboard layout. If you decide to use it with non US international keyboards you should experiment to find the right layout. The best option seems to be an US International.

Important Dates

1 June 2015: Proposal submission deadline
8 June 2015: Proposal submission deadline
23 September 2015: Notification
20 July 2016: Course material due

Call for Course and Workshop Proposals

Call for Course and Workshop Proposals
28th European Summer School in Logic, Language and Information – ESSLLI 2016
15-26 August, 2016
Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
in collaboration with University of Trento, Italy


Proposals for courses and workshops at ESSLLI 2016 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged.

Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals.

All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School’s expenses by seeking complete coverage of travel and accommodation expenses from other sources.

The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call.


Each proposal should fall under one of the following categories.

Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course’s topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course’s topic, thereby contributing to the interdisciplinary nature of our research community.

Introductory courses are central to ESSLLI’s mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines.

Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field.

Workshops focus on specialized topics, usually of current interest. Workshops organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings.


Course and workshop proposals should follow closely the following guidelines to ensure full consideration.

Each course proposal can be submitted by no more than two instructors, and each workshop by no more than two organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline.

Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail.

Proposals must be submitted in PDF format via:

and include all of the following:

  1. Personal information for each proposer: Name, affiliation, contact
    address, email, homepage (optional)
  2. General proposal information: Title, category
  3. Contents information:
    • Abstract of up to 150 words
    • Motivation and description (up to two pages)
    • Tentative outline
    • Expected level and prerequisites
    • Appropriate references (e.g. textbooks, monographs, proceedings, surveys)
  4. Practical information:
    • Relevant preceding meetings and events, if applicable
    • Potential external funding for participants


The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.


Claire Gardent (LORIA, CNRS & Université de Lorraine, Nancy, France)

Local co-chair:
Raffaella Bernardi (DISI, Trento)

Language and Computation:
Katrin Erk (University of Texas, Austin)
Alexander Koller (University of Potsdam)

Language and Logic:
Chris Barker (Linguistics, NYU)
Stephanie Solt (ZAS Berlin)

Logic and Computation:
Dietmar Berwanger (LSV, CNRS & ENS de Cachan)
Luciano Serafini (DKM Trento)


Please send any queries you may have to


The conference will be held in the main building of the
Free University of Bozen-Bolzano,
Universitätsplatz 1 – piazza Università, 1.

The main building of the Free University of Bozen-Bolzano is in the city center, about 600 m walking distance from the main railway station.

University Opening Hours

From Monday to Saturday: 8:00 – 21:00.


See Google maps for directions.



Bolzano (Italian) or Bozen (German), (Ladin: Balsan, Bulsan) is the capital city of South Tyrol, the German-speaking region in the northern part of Italy. Bolzano is the largest city in the region. Its archaeology museum is famous worldwide as the home of the alpine iceman “Ötzi”. It is also known as the Italian Capital of Christmas thanks to its characteristic Christmas market. Bolzano’s population is around 100,000 (140,000 including the metropolitan area). 25% of inhabitants speak German as their mother tongue; the population of German-speakers is much higher in the non-urban parts of the province (up to more than 90% in some areas), making the city and province officially bilingual.

Together with Innsbruck, Bolzano is officially the capital of the Alps because the seat of the Alpine Convention is there. The world-famous Museum of Archaeology with the Iceman and the Messner Mountain Museum’s main seat make Bolzano a world city of mountaineering history and culture.



The 28th European Summer School in Logic, Language and Information (ESSLLI 2016) is held at the Free University of Bozen-Bolzano, Italy, on August 15-26, 2016. It is organized by the Research Centre on Knowledge and Data (KRDB) at the Faculty of Computer Science, with the support of the University of Trento.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. Previous editions of ESSLLI have attracted each up to 500 participants from all over the world. The past five editions have been held in Barcelona (2015), Tübingen (2014), Düsseldorf (2013), Opole (2012), and Ljubljana (2011).

ESSLLI 2016 features 45 courses at foundational, introductory, and advanced levels, as well as 3 workshops, invited lectures, and a student session to foster interdisciplinary discussion of current research.

(Pictures by