http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD The Education/ACMSD web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebHome Theory and Foundations Welcome to ACMSD 2017/18 (CC545) Slides of course presentation (15 Sep): (10 slides) We are currently planning the schedule of the course. ... (last changed by LuisSoaresBarbosa) 2017-11-14T17:57:50Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Avisos 20 Oct Slides prepared for days 9 Oct 16 Oct (8 h) already available: (109 slides) 26 Sep Slides prepared for the first two days, 8 hours (25 Set 2 Oct) already ... (last changed by JoseNunoOliveira) 2017-10-27T17:20:20Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebSideBar Topics Wecome to ACMSD website Avisos Notice (last changed by JoseNunoOliveira) 2016-10-04T18:29:42Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/EquipaDocente Staff L.S. Barbosa Coord D. Hofmann M.A. Martins J.N. Oliveira JoseNunoOliveira 23 Oct 2013 (last changed by JoseNunoOliveira) 2013-10-23T11:16:33Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Calendario Schedule (last changed by JoseNunoOliveira) 2013-10-23T11:05:45Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Programa Course contents # What Who 1 Category theory for computer science D. Hoffman 2 Algebraic specification M.A. Martins 3 Coalgebraic specification ... (last changed by JoseNunoOliveira) 2013-10-23T10:33:38Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebPreferences Education/ACMSD Web Preferences The following settings are web preferences of the Education/ACMSD web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha) 2013-10-23T10:01:07Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicActions (last changed by AlcinoCunha) 2009-09-29T16:53:07Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebCss .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) 2007-05-03T08:33:47Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopBar (last changed by AlcinoCunha) 2007-02-13T14:43:04Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebLeftBar Apresentação Sumários Projectos Material (last changed by AlcinoCunha) 2007-02-13T10:35:33Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicCreator (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebIndex (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebSearch (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor