Schedule

Course contents

50 Recent Changes in TWiki Web retrieved at 16:19 (GMT)

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

Welcome to ACMSD 2017/18 (CC545)

Slides of course presentation (15-Sep): (10 slides)

We are currently planning the schedule of the course. Lectures will start next week, on the 25th Sep. Please note that the schedule below is subject to change!

Grading

Paper recitation scheduled for 6th December, 10 a.m.

Individual assessment is based on two deliverables: 1 paper recitation (30min max) + 1 extended abstract (3 pages max in llncs style, references excluded) chosen among papers proposed by the teaching staff.

There are 8 proposed papers in this zip file (8.2Mb). Students are expected among themselves to ensure that their choices don't overlap. These should be communicated to the course coordinator using this link.

Lecture Notes:

Slides prepared for the first two days, 8 hours (25-Set + 2-Oct): (128 slides)

Slides prepared for days 9-Oct + 16-Oct (8 h) already available: (109 slides)

Slides prepared for 23-Oct (4 h) already available:

Slides prepared for 30-Oct (4 h) already available:

Timetable

Mondays, 11h-13h + 14h30-16h30, Room I323, pls see maps below.

Schedule

The following schedule is stable.

Lecturers

Students who expressed interest in the course

Education/ACMSD Web Preferences

The following settings are web preferences of the Education.ACMSD web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

Natural Skin configuration

• Set SKIN=nat

• Set SKINSTYLE = Plain
• Set STYLEBORDER = thin
• Set STYLEBUTTONS = off
• Set STYLESIDEBAR = left
• Set STYLEVARIATION = none
• Set STYLESEARCHBOX = off

• Set PAGETITLE = Algebraic and Coalgebraic Methods in Software Development

• Set NATWEBLOGO = Algebraic and Coalgebraic Methods in Software Development

• Set WEBCOPYRIGHT = Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

• List of topics of the Education/ACMSD web:
  • #Set WEBTOPICLIST = Changes | Index | Search | Go

• Web-specific background color: (Pick a lighter one of the StandardColors).
  • Set WEBBGCOLOR = #D0D0D0
  • Note: This setting is automatically configured when you create a web

• Image, URL and alternate tooltip text of web's logo.
  Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.

• Set WEBLOGOURL = WebHome
• Set #WEBLOGOIMG =
• Set WEBLOGOIMG =
• Set WEBLOGOALT = Algebraic and Coalgebraic Methods in Software Development

• List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/ACMSD.Topic links.
  Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
  
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = Algebraic and Coalgebraic Methods in Software Development
  • Set SITEMAPUSETO = MAPi
  • Note: Above settings are automatically configured when you create a web

• Exclude web from a web="all" search: (Set to on for hidden webs).
  • Set NOSEARCHALL =
  • Note: This setting is automatically configured when you create a web

• Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
  • #Set NOAUTOLINK =
  • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

• Default template for new topics for this web:
  • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default topic template

• Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the Education/ACMSD web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
  • #Set DENYWEBVIEW =
  • #Set ALLOWWEBVIEW =
  • #Set DENYWEBCHANGE =
  • Set ALLOWWEBCHANGE = LuisSoaresBarbosa, JoseNunoOliveira
  • #Set DENYWEBRENAME =
  • Set ALLOWWEBRENAME = LuisSoaresBarbosa, JoseNunoOliveira

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • #Set ALLOWTOPICCHANGE = TWikiAdminGroup
  • Set ALLOWTOPICRENAME = TWikiAdminGroup

• Web preferences that are not allowed to be overridden by user or topic preferences:
  • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

• A preference setting is defined by:
  3 or 6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  
  • #Set DENYWEBCHANGE = UnknownUser
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
• You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

• TWiki.TWikiPreferences, Main.TWikiPreferences - site-level preferences
• TWikiUsers - list of user topics. User topics can have optional user preferences
• TWikiVariables - list of common %VARIABLES%
• TWikiAccessControl - explains how to restrict access by users or groups

Tools

• Rename, move or delete this web:
  • Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

Web Search

Search: \.*

Topics

• Wecome to ACMSD
• MAPi website
• MAP-PDMA

Notice

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 available: (128 slides)

18 Sep Lectures to start next week (25th Sep). Please note that the course schedule is subject to change!

Create New Topic in Education/ACMSD Web

Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.