Rule Proceedings

• RULE 2008, Elsevier ENTCS
• RULE 2007, Elsevier ENTCS
• RULE 2006, Elsevier ENTCS Volume 174, Number 1
• RULE 2005, Elsevier ENTCS Volume 147, Number 1
• RULE 2004, Elsevier ENTCS Volume 124, Number 1
• RULE 2003, Technical Report DSIC-II/11/03
• RULE 2002, ACM SIGPLAN

50 Recent Changes in TWiki Web retrieved at 17:49 (GMT)

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

Current Workshop

• RULE 2009

Steering Committee

• Hassan Ait-Kaci,
• Horatiu Cirstea
• Nachum Dershowitz
• Maribel Fernandez
• Claude Kirchner (chair)
• Jorge Sousa Pinto

• Events/RuleWorkshop Web
• Create New Topic
• Index
• Search
• Changes
• Notifications
• Statistics
• Preferences

• Main Webs

•  DI
•  EL
•  Education
•  Events
•  JoseLuisSilva
•  Personal
•  Research

Events/RuleWorkshop Web Preferences

The following settings are web preferences of the Events.RuleWorkshop 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 Parameters

• Set ANO_DEF = 0809

Web Preferences Settings

Preferences:

• Set SKIN=nat

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

• Set PAGETITLE = Rule Workshop

• Set NATWEBLOGO = Rule Workshop
• Set WEBLOGOALT = International Workshop on Rule-Based Specification and Programming
• Set WEBLOGOURL = WebHome

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

• List of topics of the Events/RuleWorkshop 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 WEBLOGOIMG = /twiki/pub/Main/LocalLogos/um_eengP.jpg
  • #Set WEBLOGOURL = WebHome
  • #Set WEBLOGOALT = International Workshop on Rule-Based Specification and Programming

• List of topics of the TWiki.Events/RuleWorkshop web:
  • Set WEBTITLE = MAP/i - Foundations of Computing

• List this web in the SiteMap:
  • If yes, Set SITEMAPLIST = on, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Events/RuleWorkshop.Topic links.
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = Rule Workshop
  • Set SITEMAPUSETO = International Workshop on Rule-Based Specification and Programming

• Exclude web from a web="all" search: (Set to on for hidden webs)
  • Set NOSEARCHALL =

• 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 Events/RuleWorkshop 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 = TWikiAdminGroup, JorgeSousaPinto
  • #Set DENYWEBRENAME =
  • #Set ALLOWWEBRENAME = TWikiAdminGroup

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • Set ALLOWTOPICCHANGE = TWikiAdminGroup, JorgeSousaPinto
  • 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: \.*

Create New Topic in Events/RuleWorkshop 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.