International MSc in Computational Logic
This presentation is the property of its rightful owner.
Sponsored Links
1 / 8

International MSc in Computational Logic Academic Year 05/06 Departamento de Informática, FCT/UNL PowerPoint PPT Presentation


  • 47 Views
  • Uploaded on
  • Presentation posted in: General

International MSc in Computational Logic Academic Year 05/06 Departamento de Informática, FCT/UNL Additional documentation: http://ssdi.di.fct.unl.pt/masters/mcl/. 6). Other lecturers : S. Abreu, M. Calejo, P. Mateus, J. Moura Pires, A. Porto, C. Sernadas, G. Wheeler.

Download Presentation

International MSc in Computational Logic Academic Year 05/06 Departamento de Informática, FCT/UNL

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


International msc in computational logic academic year 05 06 departamento de inform tica fct unl

International MSc in Computational Logic

Academic Year 05/06

Departamento de Informática, FCT/UNL

Additional documentation:

http://ssdi.di.fct.unl.pt/masters/mcl/


International msc in computational logic academic year 05 06 departamento de inform tica fct unl

6)


International msc in computational logic academic year 05 06 departamento de inform tica fct unl

Other lecturers: S. Abreu, M. Calejo, P. Mateus, J. Moura Pires, A. Porto, C. Sernadas, G. Wheeler.


International msc in computational logic academic year 05 06 departamento de inform tica fct unl

  • The Academic Calendar 05/06 is at:

    http://ssdi.di.fct.unl.pt/masters/mcl/current/2005-2006/ac.html

  • Each course will have a home page provided by the teacher, with a link to be found in the MCL pages, soon.

  • Each course will have, at their home page, a subscription mailing list.

  • A general subscription mailing list, for students, teachers and other personnel, has be set up at:

    https://mail.di.fct.unl.pt/mailman/admin/mlc0506

  • Workshop on Computational Models of Scientific Reasoning and Applications, Lisbon 22-23 September, Hotel SANA Malhoa

    http://centria.di.fct.unl.pt/~greg/conf/CMSRA-IV.html

    Register at the Secretariat now with 50% discount!


International msc in computational logic academic year 05 06 departamento de inform tica fct unl

1st semester TIMETABLE

LPELogic Programming Engineering

KRRKnowledge Representation and Reasoning

FLCPFoundations of Logic and Constraint Programming

SCLThe Science of Computational Logic

ILIntroduction to Logic

XMLTXML Technology

AGAgents


Students and their courses

Students and their courses

1st year students

Alexei KhvostenkoLPE, IL, CT, SW, KRA

Yixian LiuLPE, IL, CT, SW, KRA

Freddy Priyatna LPE, IL, CONS, KRAEquivalence granted to CT

Jigneshkumar Viradia LPE, SW, CONSEquivalence granted to IL, CT

TrangDoanLPE, KRAEquivalence granted to IL, CT

Aliaksandr BabakouLPE, IL, CT, KRA

Manoela IlicLPE, SW, CT Equivalence granted to IL

Paissious LPE, KRA (12) or LC (12) ? Equivalence granted to IL, CT


Students and their courses1

Students and their courses

2nd year students

Gaston TagniSW, KRA, Proj12

Nga NguyenKRA?, SW?, LC?

Dejan JovanovicKRA, SW, CL

Armin TroyFLCP, LPE,KRA, LC, Proj24 Equivalence to IL given

Vivek NigamKRA, ?already has Proj12

Matthias KnorrThesis

Marcos Rebelo


  • Login