Currently, i'm a student of Mathematics
and Computer Science. I'm doing the last year of my studies.
I'm a member of the Language Processing group (GEPL) of Department of
Computing, at University of Minho.
I also belong to the team
of PCVIA, an research project in program comprehension.
I've been involved in the exploration of attribute-based
Compiler Generators, and in the development of a Compiler for the
LISS programming language, using different generating tools and
virtual target machines.
I've too some teaching activities, giving support to the practical classes on
compilers and programming languages.
At present i'm working in "Alma", a generic and general purpose Program Animator.
Iterators, Recursors and Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings do 1º Fórum Nacional na Área da Informática (INForum 2009).
Token-passing Nets for Functional Languages; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007). In Electronic Notes in Theoretical Computer Science, Volume 204, 4 April 2008, Pages 181-198 DOI: 10.1016/j.entcs.2008.03.061 (bibTeX)
A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 8th International Workshop on Rule-Based Programming (RULE 2007). In Electronic Notes in Theoretical Computer Science, Volume 219, 20 November 2008, Pages 83-96 DOI: 10.1016/j.entcs.2008.10.036(bibTeX)
Visual Programming with Recursion Patterns in Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'07). In Electronic Communications of the EASST. ISSN 1863-2122. Volume 6. 2007. (here)(bibTeX)
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of the 3rd International Workshop on Term Graph Rewriting (TERMGRAPH 2006). In Electronic Notes in Theoretical Computer Science, Volume 176, Issue 1, 28 May 2007, Pages 139-163. DOI: 10.1016/j.entcs.2006.10.031(bibTeX)
Encoding Iterators in Interaction Nets; José Bacelar Almeida, Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report , December 2007. (pdf)
A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-06.04.01, April 2006. (pdf)
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaça; Technical Report DI-PURe-06.02.01, February 2006 (revised in June 2006) (pdf)
Functional Programming and Program Transformation with Interaction Nets; Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-05.05.02, May 2005 (pdf). Presented at conference LOPSTR'05.
Conversão de Código Pointwise para Código Pointfree (in Portuguese); José Vilaça; Technical Report DI-PURe-04.11.02, November 2004 (pdf)
Tools
On this moment I'm working on an editor for Interaction Nets (see INblobs webpage)
February 2006Simpósio Doutoral do DI'05 Historical presentation of my PhD work and plans for future work.
October 20052nd PURe Workshop Presentation of a revised version of "Functional Programming and Program Transformation with Interaction Nets" and scientific discussion about problems and limitations of the current work as well as possible solutions.
The research group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ciências e tecnologias da computação, CCTC) of the Department of Informatics (Departamento de Informática, DI) of the University of Minho (Universidade do Minho), Braga, Portugal.
email 1: lpmbv at netcabo /dot pt
email 2: pedromorais at alfa /dot di /dot uminho /dot pt
email 3: luispedro /dot valerio at gmail.com
url: Luis Pedro
KMig - Data Migration Tool fully specified in VDM++ at Sidereus, S.A.
CRM - Customers Relationship Management - Application partially formally specified in VDM++, being the Datatypes fully specified. Developement in C# for web environments over MS SQL/Server databases.
SGCCE - Sistema de Gestão Comercial de Clientes Especiais (at Edinfor) - Comercial system for Customers' account management, Invoicing, Billing, etc. directed at EDP's big accounts' clients.
No âmbito do projecto de Opção III estou a realizar em conjunto com o Rui Miguel Policarpo Coelho um
Sistema de inscrição online em Conferências, implementado usando WASH para a criação da aplicação WEB e HaskellDB para o acesso à base de dados MySQL onde se guarda toda a informação.
Sistema experimental de inscrição em Conferências: WebConference
Related topics:TWikiUsers, TWikiGroups, TWikiAccessControl NOTE: If you happen to lock yourself out of TWikiAdminGroup during setup activities, you can edit this group topic at file system level using any text file editor (as a last resort.)
Not an actual user of this site, but a person devoting some of his/her time to contribute to the Open Source TWiki project. TWikiContributor lists the people involved.
Related topics:TWikiUsers, TWikiRegistration
IMPORTANT NOTE: Think twice before restricting write access to a web or a topic, because an open system where everybody can contribute is the essence of WikiCulture. Experience shows that unrestricted write access works very well because:
There is enough peer pressure to post only appropriate content.
Content does not get lost because topics are under revision control.
A topic revision can be undone by a member of the TWikiAdminGroup if necesssary.
A guest of this TWiki web, not unlike yourself. You can leave your trace behind you, just add your name in TWikiRegistration and create your own page.
Related topics:TWikiUsers, TWikiRegistration
This is a TWiki User used by TWiki when it registers new users. This user has special access to write to TWikiUsers, and does not need an entry in the password system.
Related topics:TWikiUsers, TWikiRegistration
UnknownUser is a reserved name in TWiki. If the UnknownUser appears, it is probably because author information for a topic could not be recovered, perhaps because a topic has been modified by a non-TWiki tool.
Related topics:TWikiUsers, TWikiRegistration
Note: This is a maintenance topic, used by the TWiki administrator.
This form defines the form of the home pages of registered TWiki users listed in TWikiUsers.
Note: This is a maintenance topic, used by the TWiki administrator.
The part between the horizontal rules gets included at the top of every TWikiUsers homepage. The header can be customized to the needs of your organization. For example, show all frequently used fields from the UserForm on top, followed by a personalized portal. The portal can pull content from other places, such as headline news by department, a list of current projects, etc. The TWiki:TWiki.UserHomepageSupplement has some additional documentation and ideas on customizing the homepages.
Related topics:TWikiGroups, TWikiUsers, UserList, UserListByDateJoined, UserListByLocation
%IMAGEGALLERY{thumbtitle="$topic? " topics="AdemarAguiar,AldaLopesGancarski,AlejandroSanchez,AlexandreMadeira,AnaCarvalho,AnaGaris,AnaPaiva,AndreCarvalho,BeatrizSantos,ConceicaoBarbosa,DaveReynolds,EduardoBrito,EricVanWyk,FernandoMarioMartins,HassanAitKaci,HugoMacedo,HugoPacheco,JoaoAntonioPaz,JoaoCarlosSilva,JoaoPascoalFaria,JorgeMendes,JoseFaria,JoseLuisSilva,LuisMiguelClaro,LuisMonteiro,LuizVilarLopes,MarcoDevesasCampos,MiguelFerreira,NunoCarvalho,NunoFeixaRodrigues,NunoMacedo,NunoOliveira,PauloAzevedo,PauloDias,PedroMartins,RenatoNeves,RicardoAlmeida,RicardoMoreira,RuiJose,RuiMaranhao,RuiOliveira,SamuelSilva,SimaoMeloDeSousa,SimaoSousa,TesteKo,WebMaster" size="large" title="$topic? "}%
If TWiki:Plugins.ImageGalleryPlugin is installed this page will show photos and names of all registered users.
TWiki's Main webThe web for users, groups and offices. TWiki is an Enterprise Collaboration Platform.http://wiki.di.uminho.pt/twiki/bin/view/MainCopyright 2020 by contributing authors2018-06-26T08:50:48ZTWikiAdminGrouphttp://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiAdminGroup2018-06-26T08:50:48ZTWiki Administrator Group Member list: Set GROUP JoseBacelarAlmeida, AlcinoCunha, JoseFaria, JoseNunoOliveira, WebMaster Persons/group who can ... (last changed by JoseFaria)JoseFariaWebMasterhttp://wiki.di.uminho.pt/twiki/bin/view/Main/WebMaster2018-06-26T08:38:26ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentTWikiUsershttp://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiUsers2018-06-26T08:38:25ZList of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentJoseProencahttp://wiki.di.uminho.pt/twiki/bin/view/Main/JoseProenca2018-02-14T13:57:44ZContact Information Web: http://jose.proenca.org Name: José Miguel Paiva Proença Email: jose DOT proenca AT di DOT uminho DOT pt (last changed by JoseProenca)JoseProencaAnaCarvalhohttp://wiki.di.uminho.pt/twiki/bin/view/Main/AnaCarvalho2014-06-20T08:45:38ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRuiJosehttp://wiki.di.uminho.pt/twiki/bin/view/Main/RuiJose2014-01-07T14:52:09ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentBeatrizSantoshttp://wiki.di.uminho.pt/twiki/bin/view/Main/BeatrizSantos2014-01-02T11:36:49ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentPauloDiashttp://wiki.di.uminho.pt/twiki/bin/view/Main/PauloDias2013-12-20T17:19:49ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentPauloSilvahttp://wiki.di.uminho.pt/twiki/bin/view/Main/PauloSilva2013-11-25T20:33:47ZPaulo Filipe Araújo da Silva My web page has been moved. You can find it here. Wiki Options Set ALLOWTOPICCHANGE PauloSilva (last changed by PauloSilva)PauloSilvaRicardoAlmeidahttp://wiki.di.uminho.pt/twiki/bin/view/Main/RicardoAlmeida2013-10-15T16:34:25ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRenatoNeveshttp://wiki.di.uminho.pt/twiki/bin/view/Main/RenatoNeves2013-10-15T13:46:51ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentFmhasGrouphttp://wiki.di.uminho.pt/twiki/bin/view/Main/FmhasGroup2013-01-09T15:28:52ZFmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ... (last changed by JoseFaria)JoseFariaJoseLuisSilvahttp://wiki.di.uminho.pt/twiki/bin/view/Main/JoseLuisSilva2012-05-03T08:43:02ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by JoseFaria)JoseFariaNunoFeixaRodrigueshttp://wiki.di.uminho.pt/twiki/bin/view/Main/NunoFeixaRodrigues2011-12-15T09:51:46ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRuiMaranhaohttp://wiki.di.uminho.pt/twiki/bin/view/Main/RuiMaranhao2011-12-06T09:43:43ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentSimaoSousahttp://wiki.di.uminho.pt/twiki/bin/view/Main/SimaoSousa2011-07-21T16:21:23ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgent
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
RescueGroup Member list (comma separated list): Set GROUP JoseBacelarAlmeida, JorgeSousaPinto, ManuelBernardoBarbosa, MariaJoaoFrade, AndreCarvalho, EduardoBrito ...
José Miguel Vilaça Finished my phD at de Informática, do Minho under the supervision of Sousa Pinto. Email: jmvilaca@di.uminho.pt Publications Iterators ...
FastGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
HorcGroup Set GROUP JoseFaria,LuisSoaresBarbosa,MarcoCampos Persons/group who can change the list: Set ALLOWTOPICCHANGE JoseFaria,LuisSoaresBarbosa ...
Manuel Alcino Cunha Web: http://www.di.uminho.pt/~alcino Email: alcino #64;di.uminho.pt Phone: 351253604444 Set EDITBOXHEIGHT 30 Set ALLOWTOPICCHANGE ...
Personal Information Name: Daniela da Cruz Email: danieladacruz #64;di.uminho.pt I am from: Braga, Portugal Currently, i'm a student of Mathematics ...
EngTICGroup Set GROUP CarlosBaquero, CristinaSantos, MiguelRocha Set ALLOWTOPICCHANGE EngTICGroup Related topics: , TWikiGroups, .TWikiAccessControl ...
FastGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
Giovani Rubert Librelotto's Wiki Page http://alfa.di.uminho.pt/~grl/gio3x4.jpg Ph.D. Student, Language Specification and Processing in Computer Science. University ...
Gustavo Vasconcelos Arnold's Wiki Page Ph.D. Student, Language Specification and Processing in Computer Science. University of Minho, Portugal. Academic Background ...
HorcGroup Set GROUP JoseFaria,LuisSoaresBarbosa,MarcoCampos Persons/group who can change the list: Set ALLOWTOPICCHANGE JoseFaria,LuisSoaresBarbosa ...
Name: José Carlos Ramalho Email: jcr #64;di.uminho.pt Web: http://www.di.uminho.pt/~jcr Foto: Cabreira, Maio de 2003, reconhecimento de pontos para uma ...
Name: José Pedro Magalhães Email: dreixel #64;gmail.com Personal weblog: www.livejournal.com/~dreixel Student of LESI at Minho University, but currently ...
José Miguel Vilaça Finished my phD at de Informática, do Minho under the supervision of Sousa Pinto. Email: jmvilaca@di.uminho.pt Publications Iterators ...
First Alfa LerNet meeting Braga, 13 16 June 2005 Participants Alberto Pardo, pardo #64;fing.edu.uy, U. de la República (Montevideo), Uruguay Roberto Uzal ...
Logic and Formal Methods The group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ...
Luis Pedro email 1: lpmbv at netcabo /dot pt email 2: pedromorais at alfa /dot di /dot uminho /dot pt email 3: luispedro /dot valerio at gmail.com url: Luis Pedro ...
MsmGroup Set GROUP CarlosBaquero, RuiJose, JoseOrlandoPereira Set ALLOWTOPICCHANGE MsmGroup Related topics: , TWikiGroups, .TWikiAccessControl AlcinoCunha ...
Pedro Rangel Henriques's Wiki Page Language Specification and Processing in Computer Science. University of Minho, Portugal. Language Specification and Processing ...
RescueGroup Member list (comma separated list): Set GROUP JoseBacelarAlmeida, JorgeSousaPinto, ManuelBernardoBarbosa, MariaJoaoFrade, AndreCarvalho, EduardoBrito ...
Name: Ricardo Vilaça Email: rmpvilaca #64;net.sapo.pt Set ALLOWTOPICCHANGE RicardoVilaca No âmbito do projecto de Opção III estou a realizar em conjunto ...
Name: Rui Mendes Email: azuki\atdi\dotuminho\dotpt Web: http://www.di.uminho.pt/~rcm My research interests are Particle Swarm Optimization and Differential ...
TWiki Contributor Not an actual user of this site, but a person devoting some of his/her time to contribute to the Open Source TWiki project. TWikiContributor lists ...
The TWikiGuest User A guest of this TWiki web, not unlike yourself. You can leave your trace behind you, just add your name in .TWikiRegistration and create your own ...
Site level preferences are located in .TWikiPreferences , however this .TWikiPreferences prefs topic has override priority and should be used for local customisations ...
The TWikiRegistrationAgent User This is a TWiki User used by TWiki when it registers new users. This user has special access to write to , and does not need an entry ...
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
TeticGroup Set GROUP CarlosBaquero, MiguelRocha, CristinaSantos, ManuelJoao, AntonioRamires Set ALLOWTOPICCHANGE TeticGroup Related topics: , TWikiGroups ...
The UnknownUser User !UnknownUser is a reserved name in TWiki. If the !UnknownUser appears, it is probably because author information for a topic could not be recovered ...
User Form Note: This is a maintenance topic, used by the TWiki administrator. This form defines the form of the home pages of registered TWiki users listed in ...
Header of User Homepages Note: This is a maintenance topic, used by the TWiki administrator. The part between the horizontal rules gets included at the top of ...
User List showing all photographs " size "large" title " $topic "}% If TWiki:Plugins.ImageGalleryPlugin is installed this page will show photos and names of all ...
This group is intended to control permissions for the Research.Voda web. VodaGroup Set GROUP PedroRangelHenriques, EvaOliveira, TomazKosar, JoostVisser, MariaJoaoVaranda ...
This is a subscription service to be automatically notified by e mail when topics change in this Main web. This is a convenient service, so you do not have to come ...
Main Web Preferences The following settings are web preferences of the Main web. These preferences overwrite the site level preferences in ., and can be overwritten ...
This is a subscription service to be automatically notified by e-mail when topics change in this Main web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Main web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
Preferences:
List of topics of the TWiki.Main web:
Set SKIN=nat
Set SKINSTYLE = Plain
Set STYLEBORDER = thin
Set STYLEBUTTONS = off
Set STYLESIDEBAR = left
Set STYLEVARIATION = none
Set STYLESEARCHBOX = off
Set WEBTITLE = Wiki @ DIUM/CCTC
Set PAGETITLE = Wiki @ DIUM/CCTC
# * Set NATWEBLOGO = Wiki @ DIUM/CCTC
Set WEBTITLE = Research
Web specific background color: (Pick a lighter one of the StandardColors)
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. Main.Topic links.
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: Use the [[...][...]] syntax to link topics in case you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #FFEFA6 .
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 new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Main
The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Main
http://wiki.di.uminho.pt/twiki/bin/view/Main
/twiki/pub/Main/LocalLogos/um_eengP.jpgTWikiAdminGroup
http://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiAdminGroup
TWiki Administrator Group Member list: Set GROUP JoseBacelarAlmeida, AlcinoCunha, JoseFaria, JoseNunoOliveira, WebMaster Persons/group who can ... (last changed by JoseFaria)2018-06-26T08:50:48ZJoseFariaWebMaster
http://wiki.di.uminho.pt/twiki/bin/view/Main/WebMaster
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2018-06-26T08:38:26ZTWikiRegistrationAgentTWikiUsers
http://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiUsers
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ... (last changed by TWikiRegistrationAgent)2018-06-26T08:38:25ZTWikiRegistrationAgentJoseProenca
http://wiki.di.uminho.pt/twiki/bin/view/Main/JoseProenca
Contact Information Web: http://jose.proenca.org Name: José Miguel Paiva Proença Email: jose DOT proenca AT di DOT uminho DOT pt (last changed by JoseProenca)2018-02-14T13:57:44ZJoseProencaAnaCarvalho
http://wiki.di.uminho.pt/twiki/bin/view/Main/AnaCarvalho
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-06-20T08:45:38ZTWikiRegistrationAgentRuiJose
http://wiki.di.uminho.pt/twiki/bin/view/Main/RuiJose
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-01-07T14:52:09ZTWikiRegistrationAgentBeatrizSantos
http://wiki.di.uminho.pt/twiki/bin/view/Main/BeatrizSantos
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-01-02T11:36:49ZTWikiRegistrationAgentPauloDias
http://wiki.di.uminho.pt/twiki/bin/view/Main/PauloDias
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-12-20T17:19:49ZTWikiRegistrationAgentPauloSilva
http://wiki.di.uminho.pt/twiki/bin/view/Main/PauloSilva
Paulo Filipe Araújo da Silva My web page has been moved. You can find it here. Wiki Options Set ALLOWTOPICCHANGE PauloSilva (last changed by PauloSilva)2013-11-25T20:33:47ZPauloSilvaRicardoAlmeida
http://wiki.di.uminho.pt/twiki/bin/view/Main/RicardoAlmeida
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-10-15T16:34:25ZTWikiRegistrationAgentRenatoNeves
http://wiki.di.uminho.pt/twiki/bin/view/Main/RenatoNeves
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-10-15T13:46:51ZTWikiRegistrationAgentFmhasGroup
http://wiki.di.uminho.pt/twiki/bin/view/Main/FmhasGroup
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ... (last changed by JoseFaria)2013-01-09T15:28:52ZJoseFariaJoseLuisSilva
http://wiki.di.uminho.pt/twiki/bin/view/Main/JoseLuisSilva
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by JoseFaria)2012-05-03T08:43:02ZJoseFariaNunoFeixaRodrigues
http://wiki.di.uminho.pt/twiki/bin/view/Main/NunoFeixaRodrigues
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-12-15T09:51:46ZTWikiRegistrationAgentRuiMaranhao
http://wiki.di.uminho.pt/twiki/bin/view/Main/RuiMaranhao
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-12-06T09:43:43ZTWikiRegistrationAgentSimaoSousa
http://wiki.di.uminho.pt/twiki/bin/view/Main/SimaoSousa
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-07-21T16:21:23ZTWikiRegistrationAgent
Currently, i'm a student of Mathematics
and Computer Science. I'm doing the last year of my studies.
I'm a member of the Language Processing group (GEPL) of Department of
Computing, at University of Minho.
I also belong to the team
of PCVIA, an research project in program comprehension.
I've been involved in the exploration of attribute-based
Compiler Generators, and in the development of a Compiler for the
LISS programming language, using different generating tools and
virtual target machines.
I've too some teaching activities, giving support to the practical classes on
compilers and programming languages.
At present i'm working in "Alma", a generic and general purpose Program Animator.
Iterators, Recursors and Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings do 1º Fórum Nacional na Área da Informática (INForum 2009).
Token-passing Nets for Functional Languages; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007). In Electronic Notes in Theoretical Computer Science, Volume 204, 4 April 2008, Pages 181-198 DOI: 10.1016/j.entcs.2008.03.061 (bibTeX)
A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of The 8th International Workshop on Rule-Based Programming (RULE 2007). In Electronic Notes in Theoretical Computer Science, Volume 219, 20 November 2008, Pages 83-96 DOI: 10.1016/j.entcs.2008.10.036(bibTeX)
Visual Programming with Recursion Patterns in Interaction Nets; Ian Mackie, Jorge Sousa Pinto, and Miguel Vilaça; In Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'07). In Electronic Communications of the EASST. ISSN 1863-2122. Volume 6. 2007. (here)(bibTeX)
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; In Proceedings of the 3rd International Workshop on Term Graph Rewriting (TERMGRAPH 2006). In Electronic Notes in Theoretical Computer Science, Volume 176, Issue 1, 28 May 2007, Pages 139-163. DOI: 10.1016/j.entcs.2006.10.031(bibTeX)
Encoding Iterators in Interaction Nets; José Bacelar Almeida, Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report , December 2007. (pdf)
A Tool for Programming with Interaction Nets; José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-06.04.01, April 2006. (pdf)
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories; José Bacelar Almeida, Jorge Sousa Pinto, and Miguel Vilaça; Technical Report DI-PURe-06.02.01, February 2006 (revised in June 2006) (pdf)
Functional Programming and Program Transformation with Interaction Nets; Ian Mackie, Jorge Sousa Pinto and Miguel Vilaça; Technical Report DI-PURe-05.05.02, May 2005 (pdf). Presented at conference LOPSTR'05.
Conversão de Código Pointwise para Código Pointfree (in Portuguese); José Vilaça; Technical Report DI-PURe-04.11.02, November 2004 (pdf)
Tools
On this moment I'm working on an editor for Interaction Nets (see INblobs webpage)
February 2006Simpósio Doutoral do DI'05 Historical presentation of my PhD work and plans for future work.
October 20052nd PURe Workshop Presentation of a revised version of "Functional Programming and Program Transformation with Interaction Nets" and scientific discussion about problems and limitations of the current work as well as possible solutions.
The research group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ciências e tecnologias da computação, CCTC) of the Department of Informatics (Departamento de Informática, DI) of the University of Minho (Universidade do Minho), Braga, Portugal.
email 1: lpmbv at netcabo /dot pt
email 2: pedromorais at alfa /dot di /dot uminho /dot pt
email 3: luispedro /dot valerio at gmail.com
url: Luis Pedro
KMig - Data Migration Tool fully specified in VDM++ at Sidereus, S.A.
CRM - Customers Relationship Management - Application partially formally specified in VDM++, being the Datatypes fully specified. Developement in C# for web environments over MS SQL/Server databases.
SGCCE - Sistema de Gestão Comercial de Clientes Especiais (at Edinfor) - Comercial system for Customers' account management, Invoicing, Billing, etc. directed at EDP's big accounts' clients.
No âmbito do projecto de Opção III estou a realizar em conjunto com o Rui Miguel Policarpo Coelho um
Sistema de inscrição online em Conferências, implementado usando WASH para a criação da aplicação WEB e HaskellDB para o acesso à base de dados MySQL onde se guarda toda a informação.
Sistema experimental de inscrição em Conferências: WebConference
Related topics:TWikiUsers, TWikiGroups, TWikiAccessControl NOTE: If you happen to lock yourself out of TWikiAdminGroup during setup activities, you can edit this group topic at file system level using any text file editor (as a last resort.)
Not an actual user of this site, but a person devoting some of his/her time to contribute to the Open Source TWiki project. TWikiContributor lists the people involved.
Related topics:TWikiUsers, TWikiRegistration
IMPORTANT NOTE: Think twice before restricting write access to a web or a topic, because an open system where everybody can contribute is the essence of WikiCulture. Experience shows that unrestricted write access works very well because:
There is enough peer pressure to post only appropriate content.
Content does not get lost because topics are under revision control.
A topic revision can be undone by a member of the TWikiAdminGroup if necesssary.
A guest of this TWiki web, not unlike yourself. You can leave your trace behind you, just add your name in TWikiRegistration and create your own page.
Related topics:TWikiUsers, TWikiRegistration
This is a TWiki User used by TWiki when it registers new users. This user has special access to write to TWikiUsers, and does not need an entry in the password system.
Related topics:TWikiUsers, TWikiRegistration
UnknownUser is a reserved name in TWiki. If the UnknownUser appears, it is probably because author information for a topic could not be recovered, perhaps because a topic has been modified by a non-TWiki tool.
Related topics:TWikiUsers, TWikiRegistration
Note: This is a maintenance topic, used by the TWiki administrator.
This form defines the form of the home pages of registered TWiki users listed in TWikiUsers.
Note: This is a maintenance topic, used by the TWiki administrator.
The part between the horizontal rules gets included at the top of every TWikiUsers homepage. The header can be customized to the needs of your organization. For example, show all frequently used fields from the UserForm on top, followed by a personalized portal. The portal can pull content from other places, such as headline news by department, a list of current projects, etc. The TWiki:TWiki.UserHomepageSupplement has some additional documentation and ideas on customizing the homepages.
Related topics:TWikiGroups, TWikiUsers, UserList, UserListByDateJoined, UserListByLocation
%IMAGEGALLERY{thumbtitle="$topic? " topics="AdemarAguiar,AldaLopesGancarski,AlejandroSanchez,AlexandreMadeira,AnaCarvalho,AnaGaris,AnaPaiva,AndreCarvalho,BeatrizSantos,ConceicaoBarbosa,DaveReynolds,EduardoBrito,EricVanWyk,FernandoMarioMartins,HassanAitKaci,HugoMacedo,HugoPacheco,JoaoAntonioPaz,JoaoCarlosSilva,JoaoPascoalFaria,JorgeMendes,JoseFaria,JoseLuisSilva,LuisMiguelClaro,LuisMonteiro,LuizVilarLopes,MarcoDevesasCampos,MiguelFerreira,NunoCarvalho,NunoFeixaRodrigues,NunoMacedo,NunoOliveira,PauloAzevedo,PauloDias,PedroMartins,RenatoNeves,RicardoAlmeida,RicardoMoreira,RuiJose,RuiMaranhao,RuiOliveira,SamuelSilva,SimaoMeloDeSousa,SimaoSousa,TesteKo,WebMaster" size="large" title="$topic? "}%
If TWiki:Plugins.ImageGalleryPlugin is installed this page will show photos and names of all registered users.
TWiki's Main webThe web for users, groups and offices. TWiki is an Enterprise Collaboration Platform.http://wiki.di.uminho.pt/twiki/bin/view/MainCopyright 2020 by contributing authors2018-06-26T08:50:48ZTWikiAdminGrouphttp://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiAdminGroup2018-06-26T08:50:48ZTWiki Administrator Group Member list: Set GROUP JoseBacelarAlmeida, AlcinoCunha, JoseFaria, JoseNunoOliveira, WebMaster Persons/group who can ... (last changed by JoseFaria)JoseFariaWebMasterhttp://wiki.di.uminho.pt/twiki/bin/view/Main/WebMaster2018-06-26T08:38:26ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentTWikiUsershttp://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiUsers2018-06-26T08:38:25ZList of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentJoseProencahttp://wiki.di.uminho.pt/twiki/bin/view/Main/JoseProenca2018-02-14T13:57:44ZContact Information Web: http://jose.proenca.org Name: José Miguel Paiva Proença Email: jose DOT proenca AT di DOT uminho DOT pt (last changed by JoseProenca)JoseProencaAnaCarvalhohttp://wiki.di.uminho.pt/twiki/bin/view/Main/AnaCarvalho2014-06-20T08:45:38ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRuiJosehttp://wiki.di.uminho.pt/twiki/bin/view/Main/RuiJose2014-01-07T14:52:09ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentBeatrizSantoshttp://wiki.di.uminho.pt/twiki/bin/view/Main/BeatrizSantos2014-01-02T11:36:49ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentPauloDiashttp://wiki.di.uminho.pt/twiki/bin/view/Main/PauloDias2013-12-20T17:19:49ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentPauloSilvahttp://wiki.di.uminho.pt/twiki/bin/view/Main/PauloSilva2013-11-25T20:33:47ZPaulo Filipe Araújo da Silva My web page has been moved. You can find it here. Wiki Options Set ALLOWTOPICCHANGE PauloSilva (last changed by PauloSilva)PauloSilvaRicardoAlmeidahttp://wiki.di.uminho.pt/twiki/bin/view/Main/RicardoAlmeida2013-10-15T16:34:25ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRenatoNeveshttp://wiki.di.uminho.pt/twiki/bin/view/Main/RenatoNeves2013-10-15T13:46:51ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentFmhasGrouphttp://wiki.di.uminho.pt/twiki/bin/view/Main/FmhasGroup2013-01-09T15:28:52ZFmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ... (last changed by JoseFaria)JoseFariaJoseLuisSilvahttp://wiki.di.uminho.pt/twiki/bin/view/Main/JoseLuisSilva2012-05-03T08:43:02ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by JoseFaria)JoseFariaNunoFeixaRodrigueshttp://wiki.di.uminho.pt/twiki/bin/view/Main/NunoFeixaRodrigues2011-12-15T09:51:46ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentRuiMaranhaohttp://wiki.di.uminho.pt/twiki/bin/view/Main/RuiMaranhao2011-12-06T09:43:43ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgentSimaoSousahttp://wiki.di.uminho.pt/twiki/bin/view/Main/SimaoSousa2011-07-21T16:21:23ZMy Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)TWikiRegistrationAgent
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
RescueGroup Member list (comma separated list): Set GROUP JoseBacelarAlmeida, JorgeSousaPinto, ManuelBernardoBarbosa, MariaJoaoFrade, AndreCarvalho, EduardoBrito ...
José Miguel Vilaça Finished my phD at de Informática, do Minho under the supervision of Sousa Pinto. Email: jmvilaca@di.uminho.pt Publications Iterators ...
FastGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
HorcGroup Set GROUP JoseFaria,LuisSoaresBarbosa,MarcoCampos Persons/group who can change the list: Set ALLOWTOPICCHANGE JoseFaria,LuisSoaresBarbosa ...
Manuel Alcino Cunha Web: http://www.di.uminho.pt/~alcino Email: alcino #64;di.uminho.pt Phone: 351253604444 Set EDITBOXHEIGHT 30 Set ALLOWTOPICCHANGE ...
Personal Information Name: Daniela da Cruz Email: danieladacruz #64;di.uminho.pt I am from: Braga, Portugal Currently, i'm a student of Mathematics ...
EngTICGroup Set GROUP CarlosBaquero, CristinaSantos, MiguelRocha Set ALLOWTOPICCHANGE EngTICGroup Related topics: , TWikiGroups, .TWikiAccessControl ...
FastGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ...
Giovani Rubert Librelotto's Wiki Page http://alfa.di.uminho.pt/~grl/gio3x4.jpg Ph.D. Student, Language Specification and Processing in Computer Science. University ...
Gustavo Vasconcelos Arnold's Wiki Page Ph.D. Student, Language Specification and Processing in Computer Science. University of Minho, Portugal. Academic Background ...
HorcGroup Set GROUP JoseFaria,LuisSoaresBarbosa,MarcoCampos Persons/group who can change the list: Set ALLOWTOPICCHANGE JoseFaria,LuisSoaresBarbosa ...
Name: José Carlos Ramalho Email: jcr #64;di.uminho.pt Web: http://www.di.uminho.pt/~jcr Foto: Cabreira, Maio de 2003, reconhecimento de pontos para uma ...
Name: José Pedro Magalhães Email: dreixel #64;gmail.com Personal weblog: www.livejournal.com/~dreixel Student of LESI at Minho University, but currently ...
José Miguel Vilaça Finished my phD at de Informática, do Minho under the supervision of Sousa Pinto. Email: jmvilaca@di.uminho.pt Publications Iterators ...
First Alfa LerNet meeting Braga, 13 16 June 2005 Participants Alberto Pardo, pardo #64;fing.edu.uy, U. de la República (Montevideo), Uruguay Roberto Uzal ...
Logic and Formal Methods The group on Logic and Formal Methods (Lógica e Métodos Formais) is part of the Center for Computing Sciences and Technologies (Centro de ...
Luis Pedro email 1: lpmbv at netcabo /dot pt email 2: pedromorais at alfa /dot di /dot uminho /dot pt email 3: luispedro /dot valerio at gmail.com url: Luis Pedro ...
MsmGroup Set GROUP CarlosBaquero, RuiJose, JoseOrlandoPereira Set ALLOWTOPICCHANGE MsmGroup Related topics: , TWikiGroups, .TWikiAccessControl AlcinoCunha ...
Pedro Rangel Henriques's Wiki Page Language Specification and Processing in Computer Science. University of Minho, Portugal. Language Specification and Processing ...
RescueGroup Member list (comma separated list): Set GROUP JoseBacelarAlmeida, JorgeSousaPinto, ManuelBernardoBarbosa, MariaJoaoFrade, AndreCarvalho, EduardoBrito ...
Name: Ricardo Vilaça Email: rmpvilaca #64;net.sapo.pt Set ALLOWTOPICCHANGE RicardoVilaca No âmbito do projecto de Opção III estou a realizar em conjunto ...
Name: Rui Mendes Email: azuki\atdi\dotuminho\dotpt Web: http://www.di.uminho.pt/~rcm My research interests are Particle Swarm Optimization and Differential ...
TWiki Contributor Not an actual user of this site, but a person devoting some of his/her time to contribute to the Open Source TWiki project. TWikiContributor lists ...
The TWikiGuest User A guest of this TWiki web, not unlike yourself. You can leave your trace behind you, just add your name in .TWikiRegistration and create your own ...
Site level preferences are located in .TWikiPreferences , however this .TWikiPreferences prefs topic has override priority and should be used for local customisations ...
The TWikiRegistrationAgent User This is a TWiki User used by TWiki when it registers new users. This user has special access to write to , and does not need an entry ...
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
TeticGroup Set GROUP CarlosBaquero, MiguelRocha, CristinaSantos, ManuelJoao, AntonioRamires Set ALLOWTOPICCHANGE TeticGroup Related topics: , TWikiGroups ...
The UnknownUser User !UnknownUser is a reserved name in TWiki. If the !UnknownUser appears, it is probably because author information for a topic could not be recovered ...
User Form Note: This is a maintenance topic, used by the TWiki administrator. This form defines the form of the home pages of registered TWiki users listed in ...
Header of User Homepages Note: This is a maintenance topic, used by the TWiki administrator. The part between the horizontal rules gets included at the top of ...
User List showing all photographs " size "large" title " $topic "}% If TWiki:Plugins.ImageGalleryPlugin is installed this page will show photos and names of all ...
This group is intended to control permissions for the Research.Voda web. VodaGroup Set GROUP PedroRangelHenriques, EvaOliveira, TomazKosar, JoostVisser, MariaJoaoVaranda ...
This is a subscription service to be automatically notified by e mail when topics change in this Main web. This is a convenient service, so you do not have to come ...
Main Web Preferences The following settings are web preferences of the Main web. These preferences overwrite the site level preferences in ., and can be overwritten ...
This is a subscription service to be automatically notified by e-mail when topics change in this Main web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:
Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.
Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:
three spaces * [ webname . ] wikiName - SMTP mail address three spaces * [ webName . ] wikiName three spaces * SMTP mail address three spaces * SMTP mail address : topics three spaces * [ webname . ] wikiName : topics
In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:
Specify topics without a Web. prefix
Topics must exist in this web.
Topics may be specified using * wildcards
Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.
For example:
Subscribe Daisy to all changes to topics in this web.
* daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
* daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
* daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
* buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).
If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.
Tip: List names in alphabetical order to make it easier to find the names.
Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.
Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.
Related topics:WebChangesAlert, TWikiUsers, TWikiRegistration
The following settings are web preferences of the Main web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).
Preferences:
List of topics of the TWiki.Main web:
Set SKIN=nat
Set SKINSTYLE = Plain
Set STYLEBORDER = thin
Set STYLEBUTTONS = off
Set STYLESIDEBAR = left
Set STYLEVARIATION = none
Set STYLESEARCHBOX = off
Set WEBTITLE = Wiki @ DIUM/CCTC
Set PAGETITLE = Wiki @ DIUM/CCTC
# * Set NATWEBLOGO = Wiki @ DIUM/CCTC
Set WEBTITLE = Research
Web specific background color: (Pick a lighter one of the StandardColors)
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. Main.Topic links.
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: Use the [[...][...]] syntax to link topics in case you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics and form(s) for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
A preference is defined as: 6 spaces * Set NAME = value Example:
Set WEBBGCOLOR = #FFFFC0
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #FFEFA6 .
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 new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Main
The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Main
http://wiki.di.uminho.pt/twiki/bin/view/Main
/twiki/pub/Main/LocalLogos/um_eengP.jpgTWikiAdminGroup
http://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiAdminGroup
TWiki Administrator Group Member list: Set GROUP JoseBacelarAlmeida, AlcinoCunha, JoseFaria, JoseNunoOliveira, WebMaster Persons/group who can ... (last changed by JoseFaria)2018-06-26T08:50:48ZJoseFariaWebMaster
http://wiki.di.uminho.pt/twiki/bin/view/Main/WebMaster
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2018-06-26T08:38:26ZTWikiRegistrationAgentTWikiUsers
http://wiki.di.uminho.pt/twiki/bin/view/Main/TWikiUsers
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ... (last changed by TWikiRegistrationAgent)2018-06-26T08:38:25ZTWikiRegistrationAgentJoseProenca
http://wiki.di.uminho.pt/twiki/bin/view/Main/JoseProenca
Contact Information Web: http://jose.proenca.org Name: José Miguel Paiva Proença Email: jose DOT proenca AT di DOT uminho DOT pt (last changed by JoseProenca)2018-02-14T13:57:44ZJoseProencaAnaCarvalho
http://wiki.di.uminho.pt/twiki/bin/view/Main/AnaCarvalho
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-06-20T08:45:38ZTWikiRegistrationAgentRuiJose
http://wiki.di.uminho.pt/twiki/bin/view/Main/RuiJose
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-01-07T14:52:09ZTWikiRegistrationAgentBeatrizSantos
http://wiki.di.uminho.pt/twiki/bin/view/Main/BeatrizSantos
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2014-01-02T11:36:49ZTWikiRegistrationAgentPauloDias
http://wiki.di.uminho.pt/twiki/bin/view/Main/PauloDias
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-12-20T17:19:49ZTWikiRegistrationAgentPauloSilva
http://wiki.di.uminho.pt/twiki/bin/view/Main/PauloSilva
Paulo Filipe Araújo da Silva My web page has been moved. You can find it here. Wiki Options Set ALLOWTOPICCHANGE PauloSilva (last changed by PauloSilva)2013-11-25T20:33:47ZPauloSilvaRicardoAlmeida
http://wiki.di.uminho.pt/twiki/bin/view/Main/RicardoAlmeida
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-10-15T16:34:25ZTWikiRegistrationAgentRenatoNeves
http://wiki.di.uminho.pt/twiki/bin/view/Main/RenatoNeves
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2013-10-15T13:46:51ZTWikiRegistrationAgentFmhasGroup
http://wiki.di.uminho.pt/twiki/bin/view/Main/FmhasGroup
FmhasGroup Member list (comma separated list): Set GROUP AlcinoCunha, ManuelBernardoBarbosa, JoseNunoOliveira, JoseBacelarAlmeida, JoseBarros, LuisSoaresBarbosa ... (last changed by JoseFaria)2013-01-09T15:28:52ZJoseFariaJoseLuisSilva
http://wiki.di.uminho.pt/twiki/bin/view/Main/JoseLuisSilva
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by JoseFaria)2012-05-03T08:43:02ZJoseFariaNunoFeixaRodrigues
http://wiki.di.uminho.pt/twiki/bin/view/Main/NunoFeixaRodrigues
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-12-15T09:51:46ZTWikiRegistrationAgentRuiMaranhao
http://wiki.di.uminho.pt/twiki/bin/view/Main/RuiMaranhao
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-12-06T09:43:43ZTWikiRegistrationAgentSimaoSousa
http://wiki.di.uminho.pt/twiki/bin/view/Main/SimaoSousa
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)2011-07-21T16:21:23ZTWikiRegistrationAgent
Ph.D. Student, Language Specification and Processing in Computer Science. University of Minho, Portugal. 
(disfarçado de radical)
NOTE: If you happen to lock yourself out of TWikiAdminGroup during setup activities, you can edit this group topic at file system level using any text file editor (as a last resort.)
Main Web
Create New Topic
Index
Search
Changes
Notifications
Statistics
Preferences
DI
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
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.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.