About: European Master Program in Computational Logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatErasmusMundusProgrammes, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/9QKFcwWriE

The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students. The partner institutions are: * Technische Universität Dresden, Germany (coordinating university) * Free University of Bozen-Bolzano, Italy * Universidade Nova de Lisboa, Portugal * Technische Universität Wien, Austria * NICTA, Australia

AttributesValues
rdf:type
rdfs:label
  • European Master Program in Computational Logic (en)
rdfs:comment
  • The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students. The partner institutions are: * Technische Universität Dresden, Germany (coordinating university) * Free University of Bozen-Bolzano, Italy * Universidade Nova de Lisboa, Portugal * Technische Universität Wien, Austria * NICTA, Australia (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Bolzano_alps.jpg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
thumbnail
date
url
has abstract
  • The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far (from 2004 to 2008), this programme had more than 130 students. The partner institutions are: * Technische Universität Dresden, Germany (coordinating university) * Free University of Bozen-Bolzano, Italy * Universidade Nova de Lisboa, Portugal * Technische Universität Wien, Austria * NICTA, Australia 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, ontologies, artificial intelligence, formal specification and verification, logic and computability. This basic knowledge is then applied to areas like natural language processing, 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. The European Master's Program in Computational Logic is sponsored by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the IBM Center for Advanced Studies (IBM-CAS), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). The European PhD Program in Computational Logic (EPCL) extends on EMCL and is offered bythe same four universities as EMCL. It will start in fall 2011. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 52 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software