TWiki's Education/ACMSD web The Education/ACMSD web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD Copyright 2020 by contributing authors 2017-11-14T17:57:50Z WebHome http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebHome 2017-11-14T17:57:50Z 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) LuisSoaresBarbosa Avisos http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Avisos 2017-10-27T17:20:20Z 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) JoseNunoOliveira WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebSideBar 2016-10-04T18:29:42Z Topics Wecome to ACMSD website Avisos Notice (last changed by JoseNunoOliveira) JoseNunoOliveira EquipaDocente http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/EquipaDocente 2013-10-23T11:16:33Z Staff L.S. Barbosa Coord D. Hofmann M.A. Martins J.N. Oliveira JoseNunoOliveira 23 Oct 2013 (last changed by JoseNunoOliveira) JoseNunoOliveira Calendario http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Calendario 2013-10-23T11:05:45Z Schedule (last changed by JoseNunoOliveira) JoseNunoOliveira Programa http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/Programa 2013-10-23T10:33:38Z 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) JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebPreferences 2013-10-23T10:01:07Z 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) AlcinoCunha WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebStatistics 2011-09-10T18:37:19Z Statistics for Education/ACMSD Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest) TWikiGuest WebTopicActions http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicActions 2009-09-29T16:53:07Z (last changed by AlcinoCunha) AlcinoCunha WebCss http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebCss 2007-05-03T08:33:47Z .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) AlcinoCunha WebTopBar http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopBar 2007-02-13T14:43:04Z (last changed by AlcinoCunha) AlcinoCunha WebLeftBar http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebLeftBar 2007-02-13T10:35:33Z Apresentação Sumários Projectos Material (last changed by AlcinoCunha) AlcinoCunha WebTopicList http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicList 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebSearchAdvanced http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebSearchAdvanced 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebTopicCreator http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebTopicCreator 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebIndex http://wiki.di.uminho.pt/twiki/bin/view/Education/ACMSD/WebIndex 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor