| Web | Tools | Use to... |
|---|---|---|
| DI | | Department Groups and Activities |
| DI.EPL | | ...collaborate on |
| DI.FAST | | Foundations and Applications of Software Technology |
| DI.FMHAS | | High-Assurance Software Laboratory |
| DI.TETIC | | ...collaborate on |
| EL | | ...collaborate on |
| Education | | Education Activities |
| Education.ACMSD | | MAPi |
| Education.ACS | | |
| Education.AeC | | Licenciatura em Engenharia Informática |
| Education.Archive | | ...collaborate on |
| Education.CP | | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
| Education.CP0809 | | Licenciatura em Engenharia Informática |
| Education.CP0910 | | Licenciaturas em Engenharia Informática e Ciências da Computação |
| Education.CP1011 | | Licenciatura em Engenharia Informática |
| Education.CP1112 | | Licenciaturas em Engenharia Informática e Ciências da Computação |
| Education.CP1213 | | Licenciaturas em Engenharia Informática e Ciências da Computação |
| Education.CP1314 | | Licenciaturas em Engenharia Informática e Ciências da Computação |
| Education.CP1415 | | Licenciaturas em Engenharia Informática e Ciências da Computação |
| Education.CP1617 | | Mestrado Integrado em Engenharia Informática e Ciências da Computação |
| Education.CP1718 | | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
| Education.ClubeProgramacao | | Departamento de Informática |
| Education.Criptografia | | |
| Education.EL | | Engenharia de Linguagens |
| Education.EL0708 | | Engenharia Linguagens |
| Education.EL0809 | | Engenharia de Linguagens |
| Education.EL0910 | | ...collaborate on |
| Education.EL1011 | | Engenharia de Linguagens |
| Education.EM | | Métodos Formais em Engenharia de Software |
| Education.ERS | | |
| Education.LAD | | ...collaborate on |
| Education.LC | | Licenciatura em Ciências da Computação - 2º ano |
| Education.LI1 | | Licenciatura em Engenharia Informática (2012/13) |
| Education.LI10708 | | |
| Education.LI11011 | | Licenciatura em Engenharia Informática (2010/11) |
| Education.LI11112 | | Licenciatura em Engenharia Informática (2011/12) |
| Education.MAPiICS | | MAPi Doctoral Programme |
| Education.MFES | | Mestrado Integrado em Engenharia Informática - MFES 2020/2021 |
| Education.MFES0910 | | Mestrado de [Engenharia] Informática (2009/10) |
| Education.MFES1011 | | Mestrado de [Engenharia] Informática (2010/11) |
| Education.MFES1112 | | Mestrado de [Engenharia] Informática (2011/12) |
| Education.MFES1213 | | Mestrado de [Engenharia] Informática (2012/13) |
| Education.MFES1314 | | Mestrado de [Engenharia] Informática (13/14) |
| Education.MFES1415 | | Mestrado de [Engenharia] Informática (14/15) |
| Education.MFES1617 | | Mestrado Integrado em Engenharia Informática [16/17] |
| Education.MFES1718 | | Mestrado Integrado em Engenharia Informática [17/18] |
| Education.MFES1819 | | Mestrado Integrado em Engenharia Informática - MFES 2018/2019 |
| Education.MFES1920 | | Mestrado Integrado em Engenharia Informática - MFES 2019/2020 |
| Education.MICEI | | Mestrado em Informática e Curso de Especialização em Informática |
| Education.MSM | | ...collaborate on |
| Education.MapiFc | | Option I: Program Semantics, Verification, and Construction |
| Education.MapiSCAM | | Source Code Analysis and Manipulation (Mapi) |
| Education.PE | | Publicação Electrónica (EBio) |
| Education.PED | | ...collaborate on |
| Education.PP2 | | ...collaborate on |
| Education.PeC | | Licenciatura em Ciências da Computação |
| Education.ProgramacaoImperativa | | ...collaborate on |
| Education.SEM | | Licenciatura em Ciências da Computação |
| Education.TPI | | |
| Events | | Events Organization |
| Events.GTTSE | | Generative and Transformational Techniques in Software Engineering |
| Events.GTTSE2007 | | Generative and Transformational Techniques in Software Engineering |
| Events.JCC | | |
| Events.RULE2010 | | ...collaborate on |
| Events.RuleWorkshop | | International Workshop on Rule-Based Specification and Programming |
| JoseLuisSilva | | ...collaborate on |
| Main | | DIUM/CCTC |
| Personal | | Personal webs |
| Personal.Alcino | | |
| Personal.Claudia | | |
| Personal.JFF | | João Ferreira Personal Web |
| Personal.Jacome | | ...collaborate on |
| Personal.Joao | | ...collaborate on |
| Personal.Joost | | |
| Personal.Jorge | | ...collaborate on |
| Personal.JorgeMendes | | |
| Personal.JoseLuisSilva | | ...collaborate on |
| Personal.LSB | | ...collaborate on |
| Personal.MBB | | |
| Personal.Nuno | | |
| Personal.Olga | | ...collaborate on |
| Personal.Pablo | | ...collaborate on |
| Personal.PedroMartins | | ...collaborate on |
| Personal.Tiago | | Personal Web |
| Personal.Xana | | ...collaborate on |
| Personal.Ze | | ...collaborate on |
| Research | | Research Activities and Projects |
| Research.APEX | | Agile Prototyping for user EXperience |
| Research.Aviacc | | Analysis and Verification of Critical Concurrent Programs |
| Research.CROSS | | An Infrastructure for Certification and Re-engineering of Open Source Software |
| Research.Digitarq | | ...collaborate on |
| Research.Doutoramentos | | ...collaborate on |
| Research.EVOLVE | | Evolutionary Verification, Validation and Certification |
| Research.FATBIT | | Foundations, Applications and Tools for Bidirectional Transformation |
| Research.IKF | | ...collaborate on |
| Research.LerNet | | ...collaborate on |
| Research.MONDRIAN | | Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability |
| Research.MathIS | | What Mathematics for the Information Society? |
| Research.Matisse | | Projecto MathIS? : Que Matemática para a Sociedade da Informação? |
| Research.NASONI | | Heterogeneous software coordination: Foundations, methods, tools. |
| Research.OntXQuery | | ...collaborate on |
| Research.PCVIA | | ...collaborate on |
| Research.PURe | | Program Understanding and Re-engineering: Calculi and Applications |
| Research.QAIS | | Quantitative analysis of interacting systems: foundations and algorithms |
| Research.Rescue | | REliable and Safe Code execUtion for Embedded systems |
| Research.VFS | | |
| Research.Voda | | Collaborate in the project on grammar-based systems. |
| Sandbox | | ...experiment in an unrestricted hands-on web. |
| TWiki | | ...discover TWiki details, and how to start your own site. |
| This table is updated automatically based on WebPreferences settings of the individual webs. | ||
| Legend: | | | | | |
| | | | |
"$SUM( $ABOVE() )" to TWiki tables and other topic textExternalSite:Page text to external sites based on aliases defined in a rules topic
for :-) or
for = :eek:=