From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2704 Path: news.gmane.org!not-for-mail From: "Int. Center for Computational Logic" Newsgroups: gmane.science.mathematics.categories Subject: International Masters Program in COMPUTATIONAL LOGIC Date: Mon, 24 May 2004 09:09:26 +0200 Message-ID: <200405240709.i4O79QXO011589__28904.8657556579$1241018840$gmane$org@spock.inf.tu-dresden.de> Reply-To: cl-adverts@janeway.inf.tu-dresden.de NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018840 5403 80.91.229.2 (29 Apr 2009 15:27:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:20 +0000 (UTC) To: cl-adverts@spock.inf.tu-dresden.de Original-X-From: rrosebru@mta.ca Tue May 25 15:47:23 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 25 May 2004 15:47:23 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BSguO-0007VW-00 for categories-list@mta.ca; Tue, 25 May 2004 15:44:16 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 26 Original-Lines: 48 Xref: news.gmane.org gmane.science.mathematics.categories:2704 Archived-At: International Masters Program in COMPUTATIONAL LOGIC The International Center for Computational Logic at the Technische Universitaet Dresden is offering a two-year study program, in English, leading to a master of science (M.Sc.) in computer science. This is a joint program with the Universidade Nova de Lisboa and the Technische Universitaet Wien. Courses focus on logic and constraint programming, artificial intelligence, knowledge representation and reasoning, type theory, model theory, proof theory, equational reasoning, databases, natural language processing, planning and formal methods, among others. The tuition fees are waived. At the end of the programme a research master thesis has to be prepared. Prerequisites are a good knowledge of the basics of logic, and familiarity with mathematical reasoning. Knowledge of foundations of artificial intelligence and logic programming is desirable. It is indispensable being fluent in English; German is not necessary at all, but there are facilities for studying it if desired. A bachelor in Computer Science, or equivalent degree, is required by the beginning of courses, in October 2004. Dresden, on the river Elbe, is one of the most important art cities of Germany. The economy is growing rapidly and Dresden is a top high-tech centre. AMD built the most modern chip factory in Europe, Infineon Technologies, Siemens and many other companies invest here. The possibilities of getting a job after the master are excellent. The University is very well equipped and the teachers/students ratio is close to 1. International contacts make it easy for interested students to continue pursuing a career in research. Deadline for applications is June 15, 2004, but applications are processed as they come. To apply, please send all the relevant documents by post to the address below. Further information is on the web at . Paper information material is available on request. Please give this message broad distribution. Sylvia Epp, secretary International Center for Computational Logic Technische Universitaet Dresden, D-01062 Dresden, Germany Tel: [49] (351) 463-38341 Fax: [49] (351) 463-38342 email: cl-secretary@Inf.TU-Dresden.DE