* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 22.2165

Sat May 21 2011

Support: Computational Logic: Ma / MSc Student, FUB, Italy

Editor for this issue: Matthew Lahrman <mattlinguistlist.org>

To post to LINGUIST, use our convenient web form at http://linguistlist.org/LL/posttolinguist.cfm.
        1.     Enrico Franconi , Computational Linguistics, Computational Logic: Ma / MSc Student, Free University of Bozen-Bolzano (FUB), Italy

Message 1: Computational Linguistics, Computational Logic: Ma / MSc Student, Free University of Bozen-Bolzano (FUB), Italy
Date: 21-May-2011
From: Enrico Franconi <infofub.computational-logic>
Subject: Computational Linguistics, Computational Logic: Ma / MSc Student, Free University of Bozen-Bolzano (FUB), Italy
E-mail this message to a friend

Institution/Organization: Free University of Bozen-Bolzano (FUB)
Department: Computer Science
Web Address: http://www.computational-logic.eu

Level: MA / MSc

Duties: Research

Specialty Areas: Computational Linguistics



The Faculty of Computer Science at the Free University of Bozen-Bolzano
(FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is
offering the European Masters Program in Computational Logic as part of
its Master of Science in Computer Science offer (Laurea Magistrale) The
European Masters Program in Computational Logic is an international distributed
Master of Science course, in cooperation with the computer science departments
in the following universities:

- Technische Universitaet Dresden, Germany
- Free University of Bozen-Bolzano, Italy
- Universidade Nova de Lisboa, Portugal
- Technische Universitaet Wien, Austria

Within this program, completely in English, students will spend the first
semester of the first year at the Technische Universitaet Dresden (TUD), the
second semester of the first year at the Free University of Bozen-Bolzano (FUB),
and the second year in one of the 4 partner universities chosen by the student. It
is possible to spend 3 summer months at the National ICT Australia (NICTA)
Research Centre of Excellence in Australia, which gives the possibility to work
on a project at one of the world's leading research centers. After this, the student
will obtain a joint European Master of Science degree.


31 May 2010 deadline for European and non-European students


The European Masters Program in Computational Logic is designed to meet
the demands of industry and research in this rapidly growing area. Based on a
solid foundation in mathematical logic, theoretical computer science, artificial
intelligence and declarative programming students will acquire in-depth
knowledge necessary to specify, implement and run complex systems as well
as to prove properties of these systems. In particular, the focus of instruction
will be in deduction systems, knowledge representation and reasoning, artificial
intelligence, formal specification and verification, logic and automata theory,
logic and computability. This basic knowledge is then applied to areas like logic
and natural language processing, logic and the semantic web, bioinformatics,
information systems and database technology, software and hardware
verification. Students will acquire practical experience and will become familiar in
the use of tools within these applications In addition, students will be prepared for
a future PhD, they will come in contact with the international research
community and will be integrated into ongoing research projects. They will
develop competence in foreign languages and international relationships,
thereby improving their social skills.

Applicants should have a Bachelor degree (Laurea triennale) in Computer
Science, Computer Engineering, or other relevant disciplines; special cases will be
considered. The programme is part of the Master in Computer Science (Laurea
Magistrale in Informatica).

Applications Deadline: 31-May-2011

Web Address for Applications: http://www.emcl-study.eu/application.html

Contact Information:
        Prof. Enrico Franconi or Dr. E Sergio Tessaris at infofub.computational-logic.
        European Masters Program in Computational Logic
        Faculty of Computer Science
        Free University of Bozen-Bolzano
        Piazza Domenicani, 3
        I-39100 Bozen-Bolzano BZ, Italy
        Phone: +39 0471 016 000
        Fax: +39 0471 016 009
        Email: infofub.computational-logic.eu
        Web site: http://www.computational-logic.eu

Read more issues|LINGUIST home page|Top of issue

Page Updated: 21-May-2011

Supported in part by the National Science Foundation       About LINGUIST    |   Contact Us       ILIT Logo
While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.