HostingConditionsForm.doc: Form to be filled in by each site leader, describing the specific local hosting conditions. See topic HostingConditions for examples of this.
ALFA is a European programme of co-operation between higher education institutions of the European Union and Latin America, which is implemented through networks of higher education institutions (HEI).
LerNet? is an ALFA project approved by the European Community that foresees PhD student mobility for thesis work development.
Who can participate?
PhD candidates/students within Language Engineering and Software Development study area, from the following universities:
Chalmers University of Technology (Sweden)
INRIA (France)
Universidad Castilla-La-Mancha (Spain)
Universidad Politécnica de Valencia (Spain)
Utrecht University (The Netherlands)
Universidade do Minho (Portugal)
Universidade Federal de Minas Gerais (Brazil)
U. EAFIT (Colombia)
Universidad Nacional San Luís (Argentina)
Universidad Católica Santiago del Estero (Argentina)
Universidad de La República (Uruguay)
To which universities can I go?
If you are a student from a European University, you can go to Latin-American Universities. If you are a student from a Latin-American university, you can go to a European University.
Can I choose freely the host institution?
No. You should contact your home university in order to find out where exactly you can go to.
What is the mobility period duration?
The mobility period lasts for 18 months, if you come from a Latin-American Higher Education Institution, and for 6 months if you come from a European University.
What are the selection criteria?
Each sending institution defines its specific selection criteria, respecting the general ones defined beforehand such as good academic profile, language knowledge and personal profile fitting mobility. However, it is mandatory that you are enrolled in a PhD programme at your home institution.
Do I need to pay any fees at the host institution?
No, students do not need to pay fees at the host institution. They are supposed to continue paying fees at their home university.
Who will be responsible for tutoring my PhD project?
For LA students - your PhD project will be jointly elaborated between your local tutor and the host university supervisor. Both of them will be responsible for tutoring your work.
For EU students - Both home and host supervisors will be responsible for tutoring the research work developed during your mobility period.
Where do I obtain my degree?
In principle you obtain your degree from your home university. However, the project will encourage the creation of joint degrees between Latin American and European institutions, when appropriate.
Who arranges my accommodation?
During the preparation of your study period abroad, you and the International Relations of your own university are supposed to apply for accommodation in compliance with the procedures required by the host institution. Whenever possible/available, students will have access to university accommodation, but private apartments or family accommodation may also be the solution presented by each specific host university.
Who takes care of my travel arrangements?
You are supposed to take care of your own travel arrangements. It is important to highlight that you are supposed to advance payment of your travel costs. You must keep the original flight tickets, original invoices, boarding cards and transportation receipts from and to airport in order to receive the travel grant, upon arrival at the host institution.
How much is the mobility grant?
Your mobility grant consists of two parts:
Stay grant
Travel grant
The stay grant, financed by the ALFA project, is 750€ per month.
The travel grant is 75% of the student travel costs, maximum 1125€ for intercontinental travels.
When will I receive my mobility grant?
For an 18-month mobility period, you will receive your mobility grant in four instalments (every six months) according to the following:
1st instalment (immediately after arrival): you will receive 30% to the total stay grant + travel grant (against the presentation of copy of travel tickets, original receipt and boarding cards)
2nd instalment: you will receive 30% to the total stay grant (against the presentation of the first intermediate report)
3rd instalment: you will receive 30% to the total stay grant (against the presentation of the second intermediate report)
4th instalment: you will receive the remaining 10% to the total stay grant (against the presentation of original travel tickets, boarding cards, final report and questionnaire).
For a six-month mobility period, you will receive your mobility grant in three instalments according to the following:
1st instalment (immediately after arrival): you will receive 50% to the total stay grant + travel grant (against the presentation of copy of travel tickets, original receipt and boarding cards)
2nd instalment: you will receive 40% to the total stay grant (against the presentation of the intermediate report after the first three months)
3rd instalment: you will receive the remaining 10% to the total stay grant (against the presentation of original travel tickets, boarding cards, final report and questionnaire - once the mobility period is finished).
What are the required application documents?
You are requested to submit a properly filled in application form and a Curriculum Vitae. Your home institution may additionally require other documents.
A compulsory selection interview will also take place at your home institution.
What is the application deadline?
You must check the announcements at your home institution.
Where should I submit my application?
Your application documents must be submitted to your local International Relations Office.
Who is responsible for issuing the Letter of Acceptance?
The formal Letter of Acceptance is issued by the Host Institution. The coordinating institution, University of Minho in this case, is responsible for issuing a declaration certifying the grant allocation after the selection procedure is properly validated.
What else should I know?
You should additionally read the Grantholder's Guide of Good Practice
We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think of this as a scriptable Powerpoint. Task: design a combinator library that will make this easy. In a next step this may be integrated with a visual environment, probably based on the Proxima system that was developpped at UU, so one gets a WYSIWYG editing environment.
SKIT/Proxima
The description of systems, its specification, the implementation and the explanation of the implementation often are separate artefacts which tend to become inconsistent over time. Literate programming provides a solution by using a common source for code and its explanation but inherent to this mechanism is the fixed structure of both source and the generated code and explanation generated from the common source. For EHC fragment management tools are used to combine more arbitrarily and flexible the different kind of descriptions required to construct and describe the compiler.
Task: design a system for managing text fragments, combining text fragments, the generation of new text fragments either for use in source code and/or documentation. The system should use Proxima, a generic editing environment.
Incrementele evualatie Proxima.
The current version of Proxima does contain an infrastructure that supports incremental evaluation, but this has not been fully exploited. We think there is ample opportunity to extend this infrastructure. keywords: Haskell, memoisation, program transformation.
Code generation
The EHC compiler is a compiler for EH, a Haskell variant. The current version of the EHC compiler uses the GRIN approach, which is based on whole program analysis, leading to hightly optimized code. It is clear that this conflicts with having modules, and separate compilation.
Task: design a compromise so we can still have separate compilation and maintain the generation of fast code.
ABC met AG
In Oxford an AspectJ? compiler was constructed, but unfortunately no use was mad eof attribute grammars. Task: redesign this comliler using AG technology.
Eclipse combined with Haskell to facilitate incremental compilation, fast feedback and persistence
Haskell compilers usually offer their services via a commandline interface. The creation of an executable program also is batch oriented: sources are compiled per module, and linked with libraries to form an executable. On the other hand, modern development environments like Eclipse offer a much more finer grained approach which allows a more immediate response of of the environment to changes made by a programmer. For example, errors are reported earlier. A common representation of programs also allows other tools to be plugged in easily.
Task: design an interface for a Haskell compiler which allows a Haskell compiler to be plugged into Eclipse.
Constraint based type systems
Type systems for a language are described by means of type rules which describe the relationship or constraints between types for the various constructs present in a language. These rules simply state these constraints without specifying how their computation should take place. On the other hand, concrete implementations employ specific strategies to solve the constraints imposed by the type rules.
Task: design a language for specifying both the formal as well as implementation aspects of type rules.
Workflow Combinators
First Class Attribute Grammars
Generic compression
Structured information can be compressed better when using information
about the structure when compressing. This structure may be given by a DTD
or a Schema, or a Haskell data type. Design a suite of generic compression
algorithms in Generic Haskell, for example using Arithmetic Coding, PPM,
Huffman Coding, etc. Evaluate the different algorithms on a benchmark of
XML files.
Refinement of dependently typed programs
In a dependently typed programming language such as Cayenne, Epigram, or Omega, programs and their properties can be developed incrementally. However, each time a new property is added to a program, the type of the input changes, and the input has to be converted to the new type. Develop a method for incrementally developing dependently types programming, in which the user doesn't have to change the type of the input when new properties are added to a program. Thus we get a refinement method for dependently typed programs.
Chalmers
Available Soon
INRIA
Available Soon
U. Politécnica de Valência
Available Soon
U. Castilla-La-Mancha
1) Integrating Fuzzy Logic into Multi-Paradigm Declarative Languages
This proposal pursues the extension of the operational mechanism of multi-paradigm declarative languages with the ability of performing fuzzy computations.
STATE: No candidate assigned
THEME:
Fuzzy Logic provides a mathematical background for modeling uncertainty and/or vagueness. Fuzzy logic relays on the
concept of fuzzy set, the theory of fuzzy connectives (t-norms, t-conorms, etc.) and the extension of classical
predicate logic to a logic where formulas can be evaluated in the range of the [0,1] real interval.
Therefore, Fuzzy logic plays an important role in the development of sophisticated software tools in many different areas (such as expert systems or industrial control) where uncertain information is a central feature.
The introduction of fuzzy techniques into declarative languages has several advantages:
it may contribute to increase their expressiveness; and
it allows us to deal with a declarative approach to fuzzy system specification.
During the last decades, several fuzzy logic programming systems have been developed, where the classical inference mechanism of SLD-Resolution is replaced with a fuzzy variant which is able to handle partial truth and to reason with uncertainty. However any effort towards that direction has been done in the field of multi-paradigm declarative languages. Hence, our Goal in this research line is to integrate fuzzy notions into the framework of multi-paradigm declarative languages. Following the logic programming paradigm, we think there exists two major, and rather different, approaches:
The first approach consists in the replacement of the syntactic unification mechanism of narrowing by a fuzzy unification algorithm, based on similarity relations (over constants and predicates). The fuzzy unification algorithm provides an extended most general unifier as well as a numerical value, called the unification degree. Intuitively, the unification degree represents the truth degree associated with the (query) computed instance. Programs written in this kind of languages consist, in essence, in a set of ordinary rules jointly with a set of ``similarity equations'' which play an important role during the unification process.
For the second approach, programs are fuzzy subsets of formulas, where the truth degree of each clause is explicitly annotated. The work of computing and propagating truth degrees relies on an extension of the operational principle of narrowing, whereas the (syntactic) unification mechanism remains untouched.
We can indicate three main goals to achieve in this research line:
to study the viability of theses approaches;
to establish their formal properties;
to implement multi-paradigm languages based these extended operational mechanisms.
CANDIDATE PROFILE:
The candidate must have an adequate theoretical background in computer
science with knowledge in:
Logic programming or functional/equational programming.
Mathematical logic.
Knowledge of Fuzzy Logic will be considered an asset.
Also the candidate must fit the ALFA LerNet? eligibility conditions
and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISOR AND TUTOR:
Pascual Julian Iranzo (see ContactInformation)
2) A Framework for the Modeling and Measurement of Workflow Systems
STATE: (Pre)assigned to Mario Gabriel Peralta from San Luis State University (Argentina) [Now assigned]
THEME:
The current thesis project aims to manage the business processes by means of the modeling and measurement of advanced workflow systems, based on some extensions to the existing formalisms and on a proposal of metrics to measure their quality.
The thesis research lines are summarized in the following objectives:
Development of a language for workflow systems modeling and oriented to their latter enactment, control and measurement. The proposed language will be based on the UML Activity Diagrams and it will include concrete extensions for the workflow modeling.
Proposal of metrics to evaluate the quality of workflow models. The defined metrics will be theoretically and empirically validated.
Development of a support Tool for the modeling and measurement of workflow systems.
CANDIDATE PROFILE:
The candidate must fit the ALFA LerNet? eligibility conditions and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISORS:
Felix Oscar Garcia Rubio:
Associate Professor (full-time, Level 3).
Mario Piattini Velthuis:
Full Professor.
Roberto Uzal:
Part-time Professor and Co Chair of the Master of Science Program
on Software Engineering at San Luis State University (Argentina);
Part-time Professor at University of Buenos Aires (Argentina).
TUTOR:
Pascual Julian Iranzo (see ContactInformation)
3) Development of a design environment for embedded systems using FPGA and generic reconfigurable hardware
STATE: (Pre)assigned to Julio Daniel Dondo Gazzano from San Luis State University (Argentina) [Now assigned]
THEME:
The present doctoral thesis project is oriented to the management of the embedded systems design, by means of System Architecture Model Middleware-based, defining services of hardware reconfiguration, incorporating mechanisms for implicit activation and Persistence.
The investigation lines can be summarized in the following objectives:
Refinement of the basic model of the object (Interface and state) to allow the mechanisms for Implicit Activation and Persistence.
To provide a wrapper generation method to adapt any kind of object to the communication architecture.
The Methodology to apply is:
The study of the ICE (Internet Communication engine) that provide an object-oriented middleware platform suitable for use in heterogeneous environments.
Synthesis from SystemC? files and implementation over prototyping board using VHDL
Emulation of reconfigurability and
Final system for demonstration
CANDIDATE PROFILE:
The candidate must fit the ALFA LerNet? eligibility conditions and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISORS:
Dr. Fernando Rincón Calle:
Associate Professor.
Dr. Juan Carlos López López:
Full Professor
Dr. Roberto Uzal:
Part-time Professor and Co Chair of the Master of Science Program
on Software Engineering at San Luis State University (Argentina);
Part-time Professor at University of Buenos Aires (Argentina).
TUTOR:
Pascual Julian Iranzo (see ContactInformation)
The project meeting is expected to be short.
Student talks should be conference-like, 20+5 min. They should be distributed over the duration of the school rather than concentrated in the same day.
Principles
fixed-duration slots
fixed number of slots for each course
slots will be used as the lecturer chooses (possibly for exercise sessions)
possibilities: 60, 50, or 45 min
Alberto's Proposal
Suppose the school runs from Monday to Saturday.
Wednesday or Thursday afternoon is left for the excursion.
6 courses, lectures of 50 min long, each course 5 x 50 min (we need 30 slots of 50 min); lecturers decide whether they use one lecture for excercises.
students presentations of 20+5 min long. I arrange them in slots of 1:15 (3 talks in each one); 6 of such slots (in total 18 talks)
I have not assigned any space for other talks given by lecturers (e.g. on research topics).
9-9:50
course lecture
9:50-10:00
break
10:00-10:50
course lecture
10:50-11:15
coffee break
11:15-12:30
students talks
12:30-14:00
lunch
14:00-14:50
course lecture
14:50-15:00
break
15:00-15:50
course lecture
15:50-16:10
coffee break
16:10-17:00
course lecture
17:00-17:10
break
17:10-18:00
course lecture
This scheme would be as it is for Monday, Tuesday, Thursday and Friday (assuming excursion on Wed.). This leaves us two slots on saturday afternoon free; we could use them for the ALFA meeting. The hotel in Piriapolis provides free coffee all the time. By "break" I mean only with coffee, "coffee break" has the addition of something to eat (coffee breaks cost 2 dollars per person).
The following is a picture of the whole week (columns correspond to days, C=course, S=student talks, A=ALFA meeting, E=excursion):
Another alternative is to consider courses of 4 x 50 min and then we have 4 more free slots which can be used for the ALFA meeting or other purposes (reserach talks).
Lecturers
Herman Geuvers, Lambda calculus and type systems (Accepted)
Peter Dybjer, Dependent types programming (Accepted)
Doaitse Swierstra, Generic programming, parsing combinators or things related with attribute grammars by (maybe just call this course Advanced Functional Programming?) (ALBERTO)
José Nuno Oliveira, Program Construction and Calculation (Accepted)
María Alpuente, Verification of websites. (JORGE)
Gilles Barthe, Security and Verification (JORGE)
Funding
PD, DS, JNO, MA, and GB will be funded by the network.
(The budget contemplates two people from each European university)
Hotel Details
2 free rooms, to be used for Alberto and HG
Excursion
A half-day programme seems to be a good choice.
Lecture Notes
Post proceeding with reading phase for lectures, draft available for the school
Informal proceedings for the students, possible a summary included in the formal proceedings (this doesn't have to be decided now)
Invitation Mail
Dear XXX,
The LerNet? ALFA project is organising a Summerschool in Montevideo, from February 25 - March 1, 2007, as part of its final meeting.
I am writing on behalf of the organising committee to invite you to participate as a lecturer and give a course on YYYY.
The courses will be structured as a series of K sessions of 45 minutes, that you may use as you prefer, either entirely as lecture time, or alternatively using some of the time for exercise sessions.
It is our intention to publish the course lecture notes, possibly as a Springer Tutorial volume. If you accept, we will ask you to provide a draft text before the event. The deadline for sending the finished text to the volume editors will be 3 months after the Summerschool.
You will be funded by the LerNet? project as follows: flight allowance = ... + perdiem .... x 7 days, from which the hotel payment will be deduced.
(this will have to be different for HG).
-- JorgeSousaPinto - 20 May 2007
Alarcos Group: Alarcos Research Group mainly investigates how to test the quality of Information Systems, contributing to their improvement and providing solutions for industry. They adopt a methodological and metrical point of view to achieve these goals. Some of its research lines comprise: application of metrics for measuring software quality; design, maintenance and security of Information Systems.
DEC-tau Group: The *DEC*larative programming and *AU*tomatic program *T*ransformation (DEC-tau) Research Group was founded having the following aims in mind: to develop formal methods for integrating multi-paradigm declarative languages; optimizing multi-paradigm declarative languages by program transformation; and developing implementation techniques for these languages. Therefore we are interested in both theory and practice of multi-paradigm declarative languages. The aim of multi-paradigm declarative programming is to integrate the best features of several known programming paradigms: Logic programming; Functional programming; and also other paradigms such as parallelism or fuzzy logic.
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ...
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ...
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ...
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ...
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ...
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ...
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ...
This topic contains useful forms, templates, and other documents for the project site leaders. COSTSTATEMENT.doc: Cost Statement Form HostingConditionsForm ...
ToDo List All institutions identify projects and themes identify supervisors, make contact, and make working plans in the next two months discuss short ...
Minho will offer Ph.D. proposals together with La República (2, one originally Santiago Estero) San Luís (possibly 2, one originally to go to Chalmers) ...
Contact Information If you are part of the network and your contact information is not included below, please edit the topic and include it: AlbertoPardo, pardo ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/LerNet web. This is a convenient service, so you do not ...
TWiki's Research/LerNet web /view/Research/LerNet The Research/LerNet web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
LerNET (Language Engineering and Rigourous Software Development) is a
network of higher education and research institutions in the Area of
Computer Science, formed under the auspices of the European Comission
ALFA Programme (Latin America Academic Training) programme.
The main goal of LerNET is the implementation of a joint PhD programme
on Software Design and Programming Language Engineering, building on a
significant number of existing contacts between Latin-American and
European Researchers.
By stimulating a high level of interaction between Latin-American
students and the European research community, the program will
contribute to create expertise in a research area of very high
strategic relevance.
The programme will have an undeniable impact on the national academic
systems, and also, by training highly competent professionals in
software development, contribute to technology transfer toward
industry.
If you want to contribute to the LerNET pages, please:
Contact Information If you are part of the network and your contact information is not included below, please edit the topic and include it: AlbertoPardo, pardo ...
This topic contains useful forms, templates, and other documents for the project site leaders. COSTSTATEMENT.doc: Cost Statement Form HostingConditionsForm ...
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ...
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ...
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ...
Minho will offer Ph.D. proposals together with La República (2, one originally Santiago Estero) San Luís (possibly 2, one originally to go to Chalmers) ...
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ...
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ...
ToDo List All institutions identify projects and themes identify supervisors, make contact, and make working plans in the next two months discuss short ...
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/LerNet web. This is a convenient service, so you do not ...
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ...
TWiki's Research/LerNet web /view/Research/LerNet The Research/LerNet web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e-mail when topics change in this Research/LerNet 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 Research.LerNet 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:
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, 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. Research/LerNet.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Research.LerNet
Set SITEMAPUSETO = ...collaborate on
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 #CCFF66 .
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's Research/LerNet web
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet
The Research/LerNet web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/LerNet
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet
/twiki/pub/Main/LocalLogos/um_eengP.jpgSummerSchool
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/SummerSchool
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ... (last changed by JorgeSousaPinto)2007-05-20T20:19:22ZJorgeSousaPintoWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebHome
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ... (last changed by JorgeSousaPinto)2007-02-27T20:01:23ZJorgeSousaPintoWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebSideBar
Topics Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects Documents ... (last changed by JorgeSousaPinto)2007-02-27T19:53:38ZJorgeSousaPintoWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebPreferences
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ... (last changed by JorgeSousaPinto)2007-02-27T19:42:09ZJorgeSousaPintoFrequentlyAskesQuestions
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/FrequentlyAskesQuestions
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaHostingConditions
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/HostingConditions
Please Download the appropriate document from the table below. UtrechtHostingConditions.doc: (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaKickOffMeeting
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/KickOffMeeting
Kick Off Meeting (Braga, 13 16 June 2005) Pictures Participants AlbertoPardo RobertoUzal CarlosCamarao FranciscoCorrea GustavoVillavicencio ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaPossibleProjects
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/PossibleProjects
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaUniversityPresentations
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/UniversityPresentations
Group Links and Related Information Utrecht University Software Technology Group website University of Minho de Informática and Formal ... (last changed by JoostVisser)2006-09-19T19:02:10ZJoostVisserPhdProjects
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/PhdProjects
The following table contains the !PhD projects of current grant holders. (last changed by PascualJulianIranzo)2006-06-08T09:55:27ZPascualJulianIranzoProjectReports
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/ProjectReports
JorgeSousaPinto 03 Jun 2006 (last changed by JorgeSousaPinto)2006-06-03T10:56:13ZJorgeSousaPintoCurrentState2
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/CurrentState2
Current State of Mobility Actions Minho UPV UCLM INRIA Chalmers Utrecht San Luis Claudia Necco Sonia Flores ... (last changed by JorgeSousaPinto)2006-06-01T17:21:10ZJorgeSousaPintoMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/MenuTopics
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ... (last changed by JorgeSousaPinto)2006-06-01T17:05:06ZJorgeSousaPintoCurrentState
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/CurrentState
Current State of Mobility Actions Minho UPV UCLM INRIA Chalmers Utrecht San Luis Claudia Necco Sonia Flores ... (last changed by JorgeSousaPinto)2006-05-18T16:25:04ZJorgeSousaPintoSecondMeetingArrivals
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/SecondMeetingArrivals
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ... (last changed by JorgeSousaPinto)2006-05-17T14:23:33ZJorgeSousaPintoFlowCandidatesAndPlan
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/FlowCandidatesAndPlan
1 Universidad San Luis (ruzal #64;uolsinectis.com.ar) Utrecht Candidates Ana Maria Funes Juan Ignacio Perna Mariano ... (last changed by DoaitseSwierstra)2005-12-07T16:41:05ZDoaitseSwierstra
HostingConditionsForm.doc: Form to be filled in by each site leader, describing the specific local hosting conditions. See topic HostingConditions for examples of this.
ALFA is a European programme of co-operation between higher education institutions of the European Union and Latin America, which is implemented through networks of higher education institutions (HEI).
LerNet? is an ALFA project approved by the European Community that foresees PhD student mobility for thesis work development.
Who can participate?
PhD candidates/students within Language Engineering and Software Development study area, from the following universities:
Chalmers University of Technology (Sweden)
INRIA (France)
Universidad Castilla-La-Mancha (Spain)
Universidad Politécnica de Valencia (Spain)
Utrecht University (The Netherlands)
Universidade do Minho (Portugal)
Universidade Federal de Minas Gerais (Brazil)
U. EAFIT (Colombia)
Universidad Nacional San Luís (Argentina)
Universidad Católica Santiago del Estero (Argentina)
Universidad de La República (Uruguay)
To which universities can I go?
If you are a student from a European University, you can go to Latin-American Universities. If you are a student from a Latin-American university, you can go to a European University.
Can I choose freely the host institution?
No. You should contact your home university in order to find out where exactly you can go to.
What is the mobility period duration?
The mobility period lasts for 18 months, if you come from a Latin-American Higher Education Institution, and for 6 months if you come from a European University.
What are the selection criteria?
Each sending institution defines its specific selection criteria, respecting the general ones defined beforehand such as good academic profile, language knowledge and personal profile fitting mobility. However, it is mandatory that you are enrolled in a PhD programme at your home institution.
Do I need to pay any fees at the host institution?
No, students do not need to pay fees at the host institution. They are supposed to continue paying fees at their home university.
Who will be responsible for tutoring my PhD project?
For LA students - your PhD project will be jointly elaborated between your local tutor and the host university supervisor. Both of them will be responsible for tutoring your work.
For EU students - Both home and host supervisors will be responsible for tutoring the research work developed during your mobility period.
Where do I obtain my degree?
In principle you obtain your degree from your home university. However, the project will encourage the creation of joint degrees between Latin American and European institutions, when appropriate.
Who arranges my accommodation?
During the preparation of your study period abroad, you and the International Relations of your own university are supposed to apply for accommodation in compliance with the procedures required by the host institution. Whenever possible/available, students will have access to university accommodation, but private apartments or family accommodation may also be the solution presented by each specific host university.
Who takes care of my travel arrangements?
You are supposed to take care of your own travel arrangements. It is important to highlight that you are supposed to advance payment of your travel costs. You must keep the original flight tickets, original invoices, boarding cards and transportation receipts from and to airport in order to receive the travel grant, upon arrival at the host institution.
How much is the mobility grant?
Your mobility grant consists of two parts:
Stay grant
Travel grant
The stay grant, financed by the ALFA project, is 750€ per month.
The travel grant is 75% of the student travel costs, maximum 1125€ for intercontinental travels.
When will I receive my mobility grant?
For an 18-month mobility period, you will receive your mobility grant in four instalments (every six months) according to the following:
1st instalment (immediately after arrival): you will receive 30% to the total stay grant + travel grant (against the presentation of copy of travel tickets, original receipt and boarding cards)
2nd instalment: you will receive 30% to the total stay grant (against the presentation of the first intermediate report)
3rd instalment: you will receive 30% to the total stay grant (against the presentation of the second intermediate report)
4th instalment: you will receive the remaining 10% to the total stay grant (against the presentation of original travel tickets, boarding cards, final report and questionnaire).
For a six-month mobility period, you will receive your mobility grant in three instalments according to the following:
1st instalment (immediately after arrival): you will receive 50% to the total stay grant + travel grant (against the presentation of copy of travel tickets, original receipt and boarding cards)
2nd instalment: you will receive 40% to the total stay grant (against the presentation of the intermediate report after the first three months)
3rd instalment: you will receive the remaining 10% to the total stay grant (against the presentation of original travel tickets, boarding cards, final report and questionnaire - once the mobility period is finished).
What are the required application documents?
You are requested to submit a properly filled in application form and a Curriculum Vitae. Your home institution may additionally require other documents.
A compulsory selection interview will also take place at your home institution.
What is the application deadline?
You must check the announcements at your home institution.
Where should I submit my application?
Your application documents must be submitted to your local International Relations Office.
Who is responsible for issuing the Letter of Acceptance?
The formal Letter of Acceptance is issued by the Host Institution. The coordinating institution, University of Minho in this case, is responsible for issuing a declaration certifying the grant allocation after the selection procedure is properly validated.
What else should I know?
You should additionally read the Grantholder's Guide of Good Practice
We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think of this as a scriptable Powerpoint. Task: design a combinator library that will make this easy. In a next step this may be integrated with a visual environment, probably based on the Proxima system that was developpped at UU, so one gets a WYSIWYG editing environment.
SKIT/Proxima
The description of systems, its specification, the implementation and the explanation of the implementation often are separate artefacts which tend to become inconsistent over time. Literate programming provides a solution by using a common source for code and its explanation but inherent to this mechanism is the fixed structure of both source and the generated code and explanation generated from the common source. For EHC fragment management tools are used to combine more arbitrarily and flexible the different kind of descriptions required to construct and describe the compiler.
Task: design a system for managing text fragments, combining text fragments, the generation of new text fragments either for use in source code and/or documentation. The system should use Proxima, a generic editing environment.
Incrementele evualatie Proxima.
The current version of Proxima does contain an infrastructure that supports incremental evaluation, but this has not been fully exploited. We think there is ample opportunity to extend this infrastructure. keywords: Haskell, memoisation, program transformation.
Code generation
The EHC compiler is a compiler for EH, a Haskell variant. The current version of the EHC compiler uses the GRIN approach, which is based on whole program analysis, leading to hightly optimized code. It is clear that this conflicts with having modules, and separate compilation.
Task: design a compromise so we can still have separate compilation and maintain the generation of fast code.
ABC met AG
In Oxford an AspectJ? compiler was constructed, but unfortunately no use was mad eof attribute grammars. Task: redesign this comliler using AG technology.
Eclipse combined with Haskell to facilitate incremental compilation, fast feedback and persistence
Haskell compilers usually offer their services via a commandline interface. The creation of an executable program also is batch oriented: sources are compiled per module, and linked with libraries to form an executable. On the other hand, modern development environments like Eclipse offer a much more finer grained approach which allows a more immediate response of of the environment to changes made by a programmer. For example, errors are reported earlier. A common representation of programs also allows other tools to be plugged in easily.
Task: design an interface for a Haskell compiler which allows a Haskell compiler to be plugged into Eclipse.
Constraint based type systems
Type systems for a language are described by means of type rules which describe the relationship or constraints between types for the various constructs present in a language. These rules simply state these constraints without specifying how their computation should take place. On the other hand, concrete implementations employ specific strategies to solve the constraints imposed by the type rules.
Task: design a language for specifying both the formal as well as implementation aspects of type rules.
Workflow Combinators
First Class Attribute Grammars
Generic compression
Structured information can be compressed better when using information
about the structure when compressing. This structure may be given by a DTD
or a Schema, or a Haskell data type. Design a suite of generic compression
algorithms in Generic Haskell, for example using Arithmetic Coding, PPM,
Huffman Coding, etc. Evaluate the different algorithms on a benchmark of
XML files.
Refinement of dependently typed programs
In a dependently typed programming language such as Cayenne, Epigram, or Omega, programs and their properties can be developed incrementally. However, each time a new property is added to a program, the type of the input changes, and the input has to be converted to the new type. Develop a method for incrementally developing dependently types programming, in which the user doesn't have to change the type of the input when new properties are added to a program. Thus we get a refinement method for dependently typed programs.
Chalmers
Available Soon
INRIA
Available Soon
U. Politécnica de Valência
Available Soon
U. Castilla-La-Mancha
1) Integrating Fuzzy Logic into Multi-Paradigm Declarative Languages
This proposal pursues the extension of the operational mechanism of multi-paradigm declarative languages with the ability of performing fuzzy computations.
STATE: No candidate assigned
THEME:
Fuzzy Logic provides a mathematical background for modeling uncertainty and/or vagueness. Fuzzy logic relays on the
concept of fuzzy set, the theory of fuzzy connectives (t-norms, t-conorms, etc.) and the extension of classical
predicate logic to a logic where formulas can be evaluated in the range of the [0,1] real interval.
Therefore, Fuzzy logic plays an important role in the development of sophisticated software tools in many different areas (such as expert systems or industrial control) where uncertain information is a central feature.
The introduction of fuzzy techniques into declarative languages has several advantages:
it may contribute to increase their expressiveness; and
it allows us to deal with a declarative approach to fuzzy system specification.
During the last decades, several fuzzy logic programming systems have been developed, where the classical inference mechanism of SLD-Resolution is replaced with a fuzzy variant which is able to handle partial truth and to reason with uncertainty. However any effort towards that direction has been done in the field of multi-paradigm declarative languages. Hence, our Goal in this research line is to integrate fuzzy notions into the framework of multi-paradigm declarative languages. Following the logic programming paradigm, we think there exists two major, and rather different, approaches:
The first approach consists in the replacement of the syntactic unification mechanism of narrowing by a fuzzy unification algorithm, based on similarity relations (over constants and predicates). The fuzzy unification algorithm provides an extended most general unifier as well as a numerical value, called the unification degree. Intuitively, the unification degree represents the truth degree associated with the (query) computed instance. Programs written in this kind of languages consist, in essence, in a set of ordinary rules jointly with a set of ``similarity equations'' which play an important role during the unification process.
For the second approach, programs are fuzzy subsets of formulas, where the truth degree of each clause is explicitly annotated. The work of computing and propagating truth degrees relies on an extension of the operational principle of narrowing, whereas the (syntactic) unification mechanism remains untouched.
We can indicate three main goals to achieve in this research line:
to study the viability of theses approaches;
to establish their formal properties;
to implement multi-paradigm languages based these extended operational mechanisms.
CANDIDATE PROFILE:
The candidate must have an adequate theoretical background in computer
science with knowledge in:
Logic programming or functional/equational programming.
Mathematical logic.
Knowledge of Fuzzy Logic will be considered an asset.
Also the candidate must fit the ALFA LerNet? eligibility conditions
and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISOR AND TUTOR:
Pascual Julian Iranzo (see ContactInformation)
2) A Framework for the Modeling and Measurement of Workflow Systems
STATE: (Pre)assigned to Mario Gabriel Peralta from San Luis State University (Argentina) [Now assigned]
THEME:
The current thesis project aims to manage the business processes by means of the modeling and measurement of advanced workflow systems, based on some extensions to the existing formalisms and on a proposal of metrics to measure their quality.
The thesis research lines are summarized in the following objectives:
Development of a language for workflow systems modeling and oriented to their latter enactment, control and measurement. The proposed language will be based on the UML Activity Diagrams and it will include concrete extensions for the workflow modeling.
Proposal of metrics to evaluate the quality of workflow models. The defined metrics will be theoretically and empirically validated.
Development of a support Tool for the modeling and measurement of workflow systems.
CANDIDATE PROFILE:
The candidate must fit the ALFA LerNet? eligibility conditions and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISORS:
Felix Oscar Garcia Rubio:
Associate Professor (full-time, Level 3).
Mario Piattini Velthuis:
Full Professor.
Roberto Uzal:
Part-time Professor and Co Chair of the Master of Science Program
on Software Engineering at San Luis State University (Argentina);
Part-time Professor at University of Buenos Aires (Argentina).
TUTOR:
Pascual Julian Iranzo (see ContactInformation)
3) Development of a design environment for embedded systems using FPGA and generic reconfigurable hardware
STATE: (Pre)assigned to Julio Daniel Dondo Gazzano from San Luis State University (Argentina) [Now assigned]
THEME:
The present doctoral thesis project is oriented to the management of the embedded systems design, by means of System Architecture Model Middleware-based, defining services of hardware reconfiguration, incorporating mechanisms for implicit activation and Persistence.
The investigation lines can be summarized in the following objectives:
Refinement of the basic model of the object (Interface and state) to allow the mechanisms for Implicit Activation and Persistence.
To provide a wrapper generation method to adapt any kind of object to the communication architecture.
The Methodology to apply is:
The study of the ICE (Internet Communication engine) that provide an object-oriented middleware platform suitable for use in heterogeneous environments.
Synthesis from SystemC? files and implementation over prototyping board using VHDL
Emulation of reconfigurability and
Final system for demonstration
CANDIDATE PROFILE:
The candidate must fit the ALFA LerNet? eligibility conditions and the requirements expressed in the UCLM Hosting Conditions document (see FormTemplates).
ADVISORS:
Dr. Fernando Rincón Calle:
Associate Professor.
Dr. Juan Carlos López López:
Full Professor
Dr. Roberto Uzal:
Part-time Professor and Co Chair of the Master of Science Program
on Software Engineering at San Luis State University (Argentina);
Part-time Professor at University of Buenos Aires (Argentina).
TUTOR:
Pascual Julian Iranzo (see ContactInformation)
The project meeting is expected to be short.
Student talks should be conference-like, 20+5 min. They should be distributed over the duration of the school rather than concentrated in the same day.
Principles
fixed-duration slots
fixed number of slots for each course
slots will be used as the lecturer chooses (possibly for exercise sessions)
possibilities: 60, 50, or 45 min
Alberto's Proposal
Suppose the school runs from Monday to Saturday.
Wednesday or Thursday afternoon is left for the excursion.
6 courses, lectures of 50 min long, each course 5 x 50 min (we need 30 slots of 50 min); lecturers decide whether they use one lecture for excercises.
students presentations of 20+5 min long. I arrange them in slots of 1:15 (3 talks in each one); 6 of such slots (in total 18 talks)
I have not assigned any space for other talks given by lecturers (e.g. on research topics).
9-9:50
course lecture
9:50-10:00
break
10:00-10:50
course lecture
10:50-11:15
coffee break
11:15-12:30
students talks
12:30-14:00
lunch
14:00-14:50
course lecture
14:50-15:00
break
15:00-15:50
course lecture
15:50-16:10
coffee break
16:10-17:00
course lecture
17:00-17:10
break
17:10-18:00
course lecture
This scheme would be as it is for Monday, Tuesday, Thursday and Friday (assuming excursion on Wed.). This leaves us two slots on saturday afternoon free; we could use them for the ALFA meeting. The hotel in Piriapolis provides free coffee all the time. By "break" I mean only with coffee, "coffee break" has the addition of something to eat (coffee breaks cost 2 dollars per person).
The following is a picture of the whole week (columns correspond to days, C=course, S=student talks, A=ALFA meeting, E=excursion):
Another alternative is to consider courses of 4 x 50 min and then we have 4 more free slots which can be used for the ALFA meeting or other purposes (reserach talks).
Lecturers
Herman Geuvers, Lambda calculus and type systems (Accepted)
Peter Dybjer, Dependent types programming (Accepted)
Doaitse Swierstra, Generic programming, parsing combinators or things related with attribute grammars by (maybe just call this course Advanced Functional Programming?) (ALBERTO)
José Nuno Oliveira, Program Construction and Calculation (Accepted)
María Alpuente, Verification of websites. (JORGE)
Gilles Barthe, Security and Verification (JORGE)
Funding
PD, DS, JNO, MA, and GB will be funded by the network.
(The budget contemplates two people from each European university)
Hotel Details
2 free rooms, to be used for Alberto and HG
Excursion
A half-day programme seems to be a good choice.
Lecture Notes
Post proceeding with reading phase for lectures, draft available for the school
Informal proceedings for the students, possible a summary included in the formal proceedings (this doesn't have to be decided now)
Invitation Mail
Dear XXX,
The LerNet? ALFA project is organising a Summerschool in Montevideo, from February 25 - March 1, 2007, as part of its final meeting.
I am writing on behalf of the organising committee to invite you to participate as a lecturer and give a course on YYYY.
The courses will be structured as a series of K sessions of 45 minutes, that you may use as you prefer, either entirely as lecture time, or alternatively using some of the time for exercise sessions.
It is our intention to publish the course lecture notes, possibly as a Springer Tutorial volume. If you accept, we will ask you to provide a draft text before the event. The deadline for sending the finished text to the volume editors will be 3 months after the Summerschool.
You will be funded by the LerNet? project as follows: flight allowance = ... + perdiem .... x 7 days, from which the hotel payment will be deduced.
(this will have to be different for HG).
-- JorgeSousaPinto - 20 May 2007
Alarcos Group: Alarcos Research Group mainly investigates how to test the quality of Information Systems, contributing to their improvement and providing solutions for industry. They adopt a methodological and metrical point of view to achieve these goals. Some of its research lines comprise: application of metrics for measuring software quality; design, maintenance and security of Information Systems.
DEC-tau Group: The *DEC*larative programming and *AU*tomatic program *T*ransformation (DEC-tau) Research Group was founded having the following aims in mind: to develop formal methods for integrating multi-paradigm declarative languages; optimizing multi-paradigm declarative languages by program transformation; and developing implementation techniques for these languages. Therefore we are interested in both theory and practice of multi-paradigm declarative languages. The aim of multi-paradigm declarative programming is to integrate the best features of several known programming paradigms: Logic programming; Functional programming; and also other paradigms such as parallelism or fuzzy logic.
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ...
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ...
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ...
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ...
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ...
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ...
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ...
This topic contains useful forms, templates, and other documents for the project site leaders. COSTSTATEMENT.doc: Cost Statement Form HostingConditionsForm ...
ToDo List All institutions identify projects and themes identify supervisors, make contact, and make working plans in the next two months discuss short ...
Minho will offer Ph.D. proposals together with La República (2, one originally Santiago Estero) San Luís (possibly 2, one originally to go to Chalmers) ...
Contact Information If you are part of the network and your contact information is not included below, please edit the topic and include it: AlbertoPardo, pardo ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/LerNet web. This is a convenient service, so you do not ...
TWiki's Research/LerNet web /view/Research/LerNet The Research/LerNet web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
LerNET (Language Engineering and Rigourous Software Development) is a
network of higher education and research institutions in the Area of
Computer Science, formed under the auspices of the European Comission
ALFA Programme (Latin America Academic Training) programme.
The main goal of LerNET is the implementation of a joint PhD programme
on Software Design and Programming Language Engineering, building on a
significant number of existing contacts between Latin-American and
European Researchers.
By stimulating a high level of interaction between Latin-American
students and the European research community, the program will
contribute to create expertise in a research area of very high
strategic relevance.
The programme will have an undeniable impact on the national academic
systems, and also, by training highly competent professionals in
software development, contribute to technology transfer toward
industry.
If you want to contribute to the LerNET pages, please:
Contact Information If you are part of the network and your contact information is not included below, please edit the topic and include it: AlbertoPardo, pardo ...
This topic contains useful forms, templates, and other documents for the project site leaders. COSTSTATEMENT.doc: Cost Statement Form HostingConditionsForm ...
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ...
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ...
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ...
Minho will offer Ph.D. proposals together with La República (2, one originally Santiago Estero) San Luís (possibly 2, one originally to go to Chalmers) ...
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ...
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ...
ToDo List All institutions identify projects and themes identify supervisors, make contact, and make working plans in the next two months discuss short ...
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ...
This is a subscription service to be automatically notified by e mail when topics change in this Research/LerNet web. This is a convenient service, so you do not ...
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ...
TWiki's Research/LerNet web /view/Research/LerNet The Research/LerNet web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
This is a subscription service to be automatically notified by e-mail when topics change in this Research/LerNet 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 Research.LerNet 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:
If yes, set SITEMAPLIST to on, do not set NOSEARCHALL, 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. Research/LerNet.Topic links.
Set SITEMAPLIST = on
Set SITEMAPWHAT = Research.LerNet
Set SITEMAPUSETO = ...collaborate on
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 #CCFF66 .
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's Research/LerNet web
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet
The Research/LerNet web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/LerNet
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet
/twiki/pub/Main/LocalLogos/um_eengP.jpgSummerSchool
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/SummerSchool
Project Final Meeting and Summerschool Duration 6 days The budget is for 7 days 5 working days. Dates February 25 March 1, 2007 Location Piriapolis Alternative ... (last changed by JorgeSousaPinto)2007-05-20T20:19:22ZJorgeSousaPintoWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebHome
LerNET Project LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer ... (last changed by JorgeSousaPinto)2007-02-27T20:01:23ZJorgeSousaPintoWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebSideBar
Topics Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects Documents ... (last changed by JorgeSousaPinto)2007-02-27T19:53:38ZJorgeSousaPintoWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/WebPreferences
Research/LerNet Web Preferences The following settings are web preferences of the Research/LerNet web. These preferences overwrite the site level preferences ... (last changed by JorgeSousaPinto)2007-02-27T19:42:09ZJorgeSousaPintoFrequentlyAskesQuestions
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/FrequentlyAskesQuestions
Frequently Asked Questions What is the ALFA Programme? ALFA is a European programme of co operation between higher education institutions of the European Union and ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaHostingConditions
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/HostingConditions
Please Download the appropriate document from the table below. UtrechtHostingConditions.doc: (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaKickOffMeeting
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/KickOffMeeting
Kick Off Meeting (Braga, 13 16 June 2005) Pictures Participants AlbertoPardo RobertoUzal CarlosCamarao FranciscoCorrea GustavoVillavicencio ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaPossibleProjects
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/PossibleProjects
Utrecht University Presentation Library We feel that Haskell provides a good framework for defining a library for building intercative presentations. You may think ... (last changed by JoseBacelarAlmeida)2007-02-12T19:46:11ZJoseBacelarAlmeidaUniversityPresentations
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/UniversityPresentations
Group Links and Related Information Utrecht University Software Technology Group website University of Minho de Informática and Formal ... (last changed by JoostVisser)2006-09-19T19:02:10ZJoostVisserPhdProjects
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/PhdProjects
The following table contains the !PhD projects of current grant holders. (last changed by PascualJulianIranzo)2006-06-08T09:55:27ZPascualJulianIranzoProjectReports
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/ProjectReports
JorgeSousaPinto 03 Jun 2006 (last changed by JorgeSousaPinto)2006-06-03T10:56:13ZJorgeSousaPintoCurrentState2
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/CurrentState2
Current State of Mobility Actions Minho UPV UCLM INRIA Chalmers Utrecht San Luis Claudia Necco Sonia Flores ... (last changed by JorgeSousaPinto)2006-06-01T17:21:10ZJorgeSousaPintoMenuTopics
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/MenuTopics
Meeting Current State State Before BH ToDo PossibleProjects CVOfCandidates HostingConditions PhdProjects FAQ KickOffMeeting GroupsBackground ContactInformation Good ... (last changed by JorgeSousaPinto)2006-06-01T17:05:06ZJorgeSousaPintoCurrentState
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/CurrentState
Current State of Mobility Actions Minho UPV UCLM INRIA Chalmers Utrecht San Luis Claudia Necco Sonia Flores ... (last changed by JorgeSousaPinto)2006-05-18T16:25:04ZJorgeSousaPintoSecondMeetingArrivals
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/SecondMeetingArrivals
Arrivals at Tancredo Neves airport, unless stated otherwise. May 19 Alberto Pardo, ?? May 20 Gilles Barthe, 9:35 Pascual Julian Iranzo, 23:50 May 21 ... (last changed by JorgeSousaPinto)2006-05-17T14:23:33ZJorgeSousaPintoFlowCandidatesAndPlan
http://wiki.di.uminho.pt/twiki/bin/view/Research/LerNet/FlowCandidatesAndPlan
1 Universidad San Luis (ruzal #64;uolsinectis.com.ar) Utrecht Candidates Ana Maria Funes Juan Ignacio Perna Mariano ... (last changed by DoaitseSwierstra)2005-12-07T16:41:05ZDoaitseSwierstra
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 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.