Welcome to TWiki: a flexible, powerful, secure, yet simple web-based collaboration platform. Use TWiki to run a project development space, a document management system, a knowledge base or any other groupware tool on either an intranet or on the Internet. This is the place to learn about TWiki features, find where to download it, and try it out for yourself...

The official TWikiTM site is http://twiki.org/

• Help on Installed Plugins

• SpreadSheetPlugin (any TWiki, 10197): Add spreadsheet calculation like "$SUM( $ABOVE() )" to TWiki tables and other topic text
• BreadCrumbsPlugin (v1.00, $Rev: 13657 (08 May 2007) $): A flexible way to display breadcrumbs navigation
• CommentPlugin (Dakar, 11359): Allows users to quickly post comments to a page without an edit/preview/save cycle
• EditTablePlugin (any TWiki, 11646): Edit TWiki tables using edit fields, date pickers and drop down boxes
• FilterPlugin (1.21, $Rev: 13612 (02 May 2007) $): Substitute and extract information from content by using regular expressions
• FlexWebListPlugin (v1.00, $Rev: 13659 (08 May 2007) $): Flexible way to display hierarchical weblists
• GluePlugin (1.51, $Rev: 11220$): Enable TWikiML to span multiple lines
• HeadlinesPlugin (2011-07-17, $Rev: 21773 (2011-07-17) $): Show headline news in TWiki pages based on RSS and ATOM news feeds from external sites
• IfDefinedPlugin (v1.00, $Rev: 14215 (20 Jun 2007) $): Render content conditionally
• InterwikiPlugin (Dakar, $Rev: 11935$): Link ExternalSite:Page text to external sites based on aliases defined in a rules topic
• NatSkinPlugin (3.00-pre12, $Rev: 13070 (06 Mar 2007) $): Supplements the bare bones NatSkin theme for TWiki
• NewsPlugin (Dakar, 8749): %NEWS% generates a short headlines topic from a list of news
• PreferencesPlugin (Dakar, 9839): Allows editing of preferences using fields predefined in a form
• SlideShowPlugin (Any TWiki, $Rev: 12847$): Create web based presentations based on topics with headings.
• SmiliesPlugin (Dakar, 8154): Render smilies as icons, like for  :-) or for = :eek:=
• TablePlugin (1.020, 12339): Control attributes of tables and sorting of table columns
• TwistyPlugin (1.2.0, $Rev: 12154$): Twisty section JavaScript library to open/close content dynamically

TWiki Reference Manual

Documentation for webmasters, system administrators, project managers, team leaders, and all other users of the TWiki advanced online collaboration platform.

• All manual sections in one big page:
  • TWiki Documentation (560k)
• Manual sections in separate pages:
  1. TWiki System Requirements
  2. TWiki Installation Guide
  3. Windows Install Cookbook?
  4. TWiki Upgrade Guide
  5. TWiki User Authentication
  6. TWiki Access Control
  7. Text Formatting Rules
  8. TWiki Variables
  9. File Attachment
  10. TWiki Forms
  11. TWiki Templates
  12. TWiki Skins
  13. Formatted Search
  14. TWiki MetaData
  15. TWiki Plugins
  16. TWiki::Func Module Documentation?
  17. TWiki Site Tools
  18. Managing Topics
  19. Managing Webs
  • Appendices
    • A. TWiki File System?
    • B. TWiki CSS
    • C. Encode URLs With UTF8
    • D. TWiki Development Timeline

• ADMINS: In less than an hour, you can read through and customize the User's Guide to reflect the exact feature set enabled on your own TWiki site. See also other enhancement pages:
  • TWikiAdminCookBook? : Some tips that can be applied before installation
  • InstantEnhancements: Simple tips (using just browser, no install needed) and quick (max couple of minutes).
  • AdminTools? : Topics an admin typically needs, all in one page

TWikiSiteTools

• TWikiSiteTools include utilities for navigation and for monitoring TWiki web and site-wide activity.

• TWikiPreferences: TWiki site-wide preferences
• InstalledPlugins: currently available TWiki add-on features

• The SiteMap: A color-coded directory of available webs that can be easily included on any page (below)

• You are currently in the TWiki web. The color code for this web is this background, so you know where you are.
• If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.

Web	TWiki Site Map	Use to...
Main	DIUM/CCTC Wiki.	DIUM/CCTC
TWiki	Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs...	...discover TWiki details, and how to start your own site.
DI	DI main web	Department Groups and Activities
DI.EPL	DI.EPL Group	...collaborate on
DI.FAST	Foundations and Applications of Software Technology	Foundations and Applications of Software Technology
DI.FMHAS	High-Assurance Software Laboratory	High-Assurance Software Laboratory
DI.TETIC	Tecnologias Emergentes nas TICs	...collaborate on
EL	Engenharia de Linguagens (2011/2012)	...collaborate on
Education	Education main web	Education Activities
Education.ACMSD	Algebraic and Coalgebraic Methods in Software Development	MAPi
Education.ACS	Análise e Concepção de Software
Education.AeC	Algoritmos e Complexidade	Licenciatura em Engenharia Informática
Education.Archive	Education.Archive Wiki.	...collaborate on
Education.CP	Cálculo de Programas	Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809	Cálculo de Programas	Licenciatura em Engenharia Informática
Education.CP0910	Cálculo de Programas	Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011	Cálculo de Programas	Licenciatura em Engenharia Informática
Education.CP1112	Cálculo de Programas	Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213	Cálculo de Programas	Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314	Cálculo de Programas	Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415	Cálculo de Programas	Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617	Cálculo de Programas	Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718	Cálculo de Programas	Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao	Clube de Programação	Departamento de Informática
Education.Criptografia	Criptografia @ DI
Education.EL		Engenharia de Linguagens
Education.EL0708	Engenharia Linguagens	Engenharia Linguagens
Education.EL0809		Engenharia de Linguagens
Education.EL0910		...collaborate on
Education.EL1011		Engenharia de Linguagens
Education.EM	Especificação e Modelação	Métodos Formais em Engenharia de Software
Education.ERS	Engenharia de Redes e Serviços
Education.LAD	Linguagens para Anotação de Documentos	...collaborate on
Education.LC		Licenciatura em Ciências da Computação - 2º ano
Education.LI1	Laboratórios de Informática 1	Licenciatura em Engenharia Informática (2012/13)
Education.LI10708	Laboratório de Informática 1
Education.LI11011	Laboratórios de Informática I	Licenciatura em Engenharia Informática (2010/11)
Education.LI11112	Laboratórios de Informática I	Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS	MAPi - Interactive Computing Systems	MAPi Doctoral Programme
Education.MFES	Métodos Formais em Engenharia de Software	Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910	Métodos Formais em Engenharia de Software	Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011		Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112	Métodos Formais em Engenharia de Software	Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213	Métodos Formais em Engenharia de Software	Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314	Métodos Formais em Engenharia de Software	Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415	Métodos Formais em Engenharia de Software	Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617	Métodos Formais em Engenharia de Software	Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718	Métodos Formais em Engenharia de Software	Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819	Métodos Formais em Engenharia de Software (2018/2019)	Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920	Métodos Formais em Engenharia de Software	Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI	Mestrado em Informática e Curso de Especialização em Informática	Mestrado em Informática e Curso de Especialização em Informática
Education.MSM	Mestrado e Curso de Especialização em Sistemas Móveis	...collaborate on
Education.MapiFc	MAP/i - Foundations of Computing	Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM	Source Code Analysis and Manipulation (Mapi)	Source Code Analysis and Manipulation (Mapi)
Education.PE	Publicação Electrónica	Publicação Electrónica (EBio)
Education.PED	Processamento Estruturado de Documentos	...collaborate on
Education.PP2	Paradigmas da Programação 2	...collaborate on
Education.PeC	Processos e Concorrência	Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa		...collaborate on
Education.SEM	Semântica da Programação	Licenciatura em Ciências da Computação
Education.TPI	Tecnologias e Protocolos de Infra-Estrutura
Events	Events main web	Events Organization
Events.GTTSE	Generative and Transformational Techniques in Software Engineering	Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007	Generative and Transformational Techniques in Software Engineering	Generative and Transformational Techniques in Software Engineering
Events.JCC	Jornadas de Ciências da Computação
Events.RULE2010	RULE Workshop 2010	...collaborate on
Events.RuleWorkshop	Rule Workshop	International Workshop on Rule-Based Specification and Programming
JoseLuisSilva	webpage de JoseLuisSilva?	...collaborate on
Personal	Personal webs	Personal webs
Personal.Alcino	Home page of Personal.Alcino Cunha.
Personal.Claudia	Personal.Claudia Necco
Personal.Jacome	Jácome Cunha	...collaborate on
Personal.Joao	João Fernandes	...collaborate on
Personal.Jorge	Personal.Jorge Sousa Pinto's Web.	...collaborate on
Personal.JorgeMendes	Jorge Mendes
Personal.JoseLuisSilva	webpage de JoseLuisSilva?	...collaborate on
Personal.LSB	Luís Soares Barbosa	...collaborate on
Personal.MBB	MBB's Personal Web
Personal.Nuno	Personal.Nuno Rodrigues's Web
Personal.Olga	Personal.Olga Web Page	...collaborate on
Personal.Pablo	Home page of Personal.Pablo Berdaguer	...collaborate on
Personal.PedroMartins	Pedro Martins	...collaborate on
Personal.Tiago	Tiago Alves	Personal Web
Personal.Xana	Alexandra Silva	...collaborate on
Personal.Ze	José Proença	...collaborate on
Research	Research main web	Research Activities and Projects
Research.APEX	APEX	Agile Prototyping for user EXperience
Research.Aviacc	Projeto AVIACC	Analysis and Verification of Critical Concurrent Programs
Research.CROSS	CROSS	An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq	Digital Archives Development Project	...collaborate on
Research.Doutoramentos	Informações para doutorandos	...collaborate on
Research.EVOLVE	Evolutionary Verification, Validation and Certification	Evolutionary Verification, Validation and Certification
Research.FATBIT	Foundations, Applications and Tools for Bidirectional Transformation	Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF	Research.IKF Project	...collaborate on
Research.LerNet	Research.LerNet	...collaborate on
Research.MONDRIAN	MONDRIAN	Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS		What Mathematics for the Information Society?
Research.Matisse	Mathematics Education	Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI	Heterogeneous software coordination: Foundations, methods, tools.	Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery	OntXQuery? - Pedro Henriques	...collaborate on
Research.PCVIA	Program Comprehension	...collaborate on
Research.PURe	PURe	Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS	QAIS	Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue	RESCUE, REliable and Safe Code execUtion for Embedded systems	REliable and Safe Code execUtion for Embedded systems
Research.VFS	Verifiable File System
Research.Voda	Project on grammar-based systems.	Collaborate in the project on grammar-based systems.
Sandbox	Sandbox test area with all features enabled.	...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.

Legend of icons:

= Go to the home of the web = Search the web

= See recent changes in the web = Subscribe to get notified of changes by e-mail

• TWiki^TM is a trademark of PeterThoeny
  • Note: Twiki (with a lower case "w") is a robot character in the Buck Rogers^TM in the 25th Century TV series. TWiki (with an upper case "W") is not affiliated with the Dillie Family Trust, the registered trademark owner of the Buck Rogers name
• TWiki is developed as Free Software under the GNU/GPL
• This site is running TWiki version TWiki-4.1.2, Sat, 03 Mar 2007, build 13046, Plugin API version 1.11
• Get the current version from TWiki.org Downloads