[Proof Complexity] Fwd: [DL] European Master's Program in Computational Logic

Camilo Thorne cthorne at inf.unibz.it
Tue Jan 22 12:05:18 CET 2013

---------- Forwarded message ----------
From: Bertram Fronhöfer <Bertram.Fronhoefer at tu-dresden.de>
Date: Thu, Jan 17, 2013 at 11:58 AM
Subject: [DL] European Master's Program in Computational Logic
To: coniglio at cle.unicamp.br, corpora at hd.uib.no, cotton at ensae.fr,
css at cs.stanford.edu, czhou at indiana.edu, daml-all at daml.org,
davor.runje at fer.hr, dbailey at cse.ucsc.edu, dbitaly at list.dia.uniroma3.it,
dbworld at cs.wisc.edu, demri at lsv.ens-cachan.fr, dg at dcs.kcl.ac.uk,
dgracia at ub.edu, Diderik.Batens at ugent.be, digicult-forum at digicult.info,
diglib at infoserv.inist.fr, dl at dl.kr.org, dunn at indiana.edu, ea at ira.uka.de,
ecoop-info at ecoop.org, edelcio at pucsp.br, editor at knowledgeboard.com,
eestevez at us.es, elsnet-list at elsnet.org, elsnet-list at let.uu.nl,
enrique.alonso at uam.es, e_pacuit at hotmail.com, epontell at cs.nmsu.edu,
esslli07lecturers at cs.tcd.ie, esslli07participants at cs.tcd.ie

Dear all,

I'd like to draw your attention to the fact that fresh Erasmus Mundus
scholarships are available for Non-European AND European students who
enroll in our European Master's Program in Computational Logic in the fall
of 2013. The deadline for application is 31 January, 2013. More details are
given below. In particular, I'd like to draw your attention to the fact
that we are able to provide grants to EU-students for doing their project
at the National ICT of Australia (NICTA).

Please spread this information as wide as possible among friends and
colleagues, at your old universities and the places, where you currently
live and work.

Many thanks -- Steffen

The European Master's Program in Computational Logic

We are glad to announce to you the possibility to join our European
Master's Program of Computational Logic. This program is offered jointly at
the Free-University of Bozen-Bolzano in Italy, the Technische Universität
Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the
Technische Universität Wien in Austria. Within this program you have the
choice to study at two /three of the four European universities. In
addition, you can do your project work at the National ICT of Australia
(NICTA). You will graduate with a MSc in Computer Science and obtain a
joint degree. Information on the universities and the program including the
application procedure is provided here:

http://www.emcl-study.eu/home.**html <http://www.emcl-study.eu/home.html>

Language of instruction is English. Tuition fees are 3.000 EUR (for
non-European students) and 1.000 (for European students) per year.

We would like to draw your attention to the ERASMUS-MUNDUS scholarship
program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to
 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our
European Master's Program in Computational Logic.

More information on the scholarship program is available from:


Do not hesitate to contact us  if you have any further questions.

Kind regards -- Steffen Hölldobler

Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany

phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh at iccl.tu-dresden.de


Dr.rer.nat.habil. Bertram Fronhöfer
TU Dresden
Department of Computer Science
International Center for Computational Logic
01062 Dresden, Germany
Tel.: +49 (0)351 463 39095

**  You received this mail via the description logic mailing list; for more
**  information, visit the description logic homepage at http://dl.kr.org/.

Camilo Thorne

Research Fellow
KRDB Research Centre for Knowledge and Data
Free University of Bozen-Bolzano
3, Piazza Domenicani
39100,Bolzano, Italy
tel:  (+39)0471016123
fax: (+39)0471016009

"Exegi monumentum aere perennius"
(Horatius, Ode III-30)

More information about the Proof-Complexity mailing list