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. Directory         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 Description: EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC http://www.computational-logic.eu 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. APPLICATION DEADLINE: 31 May 2010 deadline for European and non-European students THE STUDY PROGRAMME: 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       About LINGUIST    |   Contact Us       While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.