European Master Program in Computational Logic
European Master's Program in Computational Logic (EMCL) var ett tvåårigt gemensamt MSc-program som erbjuder en gemensam examen mellan fyra europeiska universitet som en del av Erasmus Mundus -programmet för samarbete och mobilitet. Hittills (från 2004 till 2008) hade detta program mer än 130 studenter.
Partnerinstitutionerna är:
- Technische Universität Dresden , Tyskland (samordnande universitet)
- Fria universitetet i Bozen-Bolzano , Italien
- Universidade Nova de Lisboa , Portugal
- Technische Universität Wien , Österrike
- NICTA , Australien
Baserat på en solid grund i matematisk logik , teoretisk datavetenskap , artificiell intelligens och deklarativ programmering kommer studenterna att skaffa sig fördjupade kunskaper som är nödvändiga för att specificera, implementera och köra komplexa system samt för att bevisa egenskaper hos dessa system.
I synnerhet kommer undervisningens fokus att ligga på deduktionssystem , kunskapsrepresentation och resonemang , ontologier , artificiell intelligens , formell specifikation och verifiering , logik och beräkningsbarhet . Dessa grundläggande kunskaper tillämpas sedan på områden som naturlig språkbehandling , den semantiska webben , bioinformatik , informationssystem och databasteknik , mjukvaru- och hårdvaruverifiering .
Studenterna kommer att förvärva praktisk erfarenhet och kommer att bli bekanta med användningen av verktyg inom dessa applikationer. Dessutom kommer studenterna att förberedas för en framtida doktorsexamen, de kommer i kontakt med det internationella forskarsamhället och kommer att integreras i pågående forskningsprojekt. De kommer att utveckla kompetens i främmande språk och internationella relationer, och därigenom förbättra sina sociala färdigheter.
European Master's Programme in Computational Logic sponsras av European Network of Excellence on Computational Logic (CoLogNET), European Association of Logic, Language and Information (FoLLI), IBM Center for Advanced Studies (IBM-CAS), European Coordinating Kommittén för artificiell intelligens (ECCAI), den italienska föreningen för artificiell intelligens (AI*IA), den italienska föreningen för informatik (AICA, medlem av Council of European Professional Informatics Societies), den italienska föreningen för logik och dess tillämpningar (AILA) , och den portugisiska föreningen för artificiell intelligens (APPIA).
European PhD Programme in Computational Logic (EPCL) sträcker sig över EMCL och erbjuds av samma fyra universitet som EMCL. Det startar hösten 2011.
externa länkar
- European Master's Program in Computational Logic hemsida Arkiverad 2015-06-10 på Wayback Machine
- European PhD Program in Computational Logic hemsida för EPCL Archived 2021-05-18 at the Wayback Machine