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

Sat May 21 23:02:32 UTC 2011

LINGUIST List: Vol-22-2165. Sat May 21 2011. ISSN: 1068 - 4875.

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

Moderators: Anthony Aristar, Eastern Michigan U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>

Reviews: Veronika Drake, U of Wisconsin-Madison  
Monica Macaulay, U of Wisconsin-Madison  
Rajiv Rao, U of Wisconsin-Madison  
Joseph Salmons, U of Wisconsin-Madison  
Anja Wanner, U of Wisconsin-Madison  
       <reviews at linguistlist.org> 

Homepage: http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, 
and donations from subscribers and publishers.

Editor for this issue: Matthew Lahrman <matt at linguistlist.org>
================================================================  

To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.cfm.

===========================Directory==============================  

1)
Date: 21-May-2011
From: Enrico Franconi [info at fub.computational-logic]
Subject: Computational Linguistics, Computational Logic: Ma / MSc Student, Free University of Bozen-Bolzano (FUB), Italy

-------------------------Message 1 ---------------------------------- 
Date: Sat, 21 May 2011 19:01:33
From: Enrico Franconi [info at fub.computational-logic]
Subject: Computational Linguistics, Computational Logic: Ma / MSc Student, Free University of Bozen-Bolzano (FUB), Italy

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=22-2165.html&submissionid=4520635&topicid=12&msgnumber=1

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). 

Application 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 info at fub.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: info at fub.computational-logic.eu
	Web site: http://www.computational-logic.eu  

-----------------------------------------------------------
LINGUIST List: Vol-22-2165	
----------------------------------------------------------