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: WebHome WebSearch WebChanges WebNotify WebPreferences WebStatistics WebTopicList WebIndex
"$SUM( $ABOVE() )"
to TWiki tables and other topic textExternalSite:Page
text to external sites based on aliases defined in a rules topic :-)
or for = :eek:=