Termination-Portal.org - User contributions [en]

Bibtex:Luc04

2009-05-19T11:40:10Z

Rgutierrez: /* BibTex */

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]] 
== BibTex ==

<bibtex>
@inproceedings{Luc04,
author = "S. Lucas",
title = "MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting",
booktitle = "Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04",
editor = "V. van Oostrom",
series = "Lecture Notes in Computer Science",
volume = "3091",
pages = "200-209",
year = "2004",
address = "Aachen, Germany",
publisher = "Springer-Verlag"
}
</bibtex>

Tools:MU-TERM

2009-05-19T11:36:23Z

Rgutierrez: Tools:MuTerm moved to Tools:MU-TERM

{{Tool
|shortname=MU-TERM
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=[[People:Salvador Lucas|Salvador Lucas]], [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
|publication=[[Bibtex:Luc04|MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting]]
}}

Tools:MuTerm

2009-05-19T11:36:23Z

Rgutierrez: Tools:MuTerm moved to Tools:MU-TERM

#REDIRECT [[Tools:MU-TERM]]

Bibtex:Luc04

2009-05-19T11:23:13Z

Rgutierrez: /* BibTex */

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]] 
== BibTex ==

<bibtex>
@inproceedings{Luc04,
author = {Lucas, S.},
title = {MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting},
booktitle = {Proc. of 15th International Conference on Rewriting Techniques and Applications, RTA'04},
editor = {Oostrom, V. van},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {200--209},
year = {2004},
address = {Aachen, Germany},
publisher = {Springer-Verlag},
note = {Available at \url{http://zenon.dsic.upv.es/muterm/}}
}</bibtex>

Tools:MU-TERM

2009-05-19T11:22:50Z

Rgutierrez:

Tools:MU-TERM

2009-05-19T11:21:20Z

Rgutierrez:

{{Tool
|shortname=MU-TERM
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=[[People:Salvador Lucas|Salvador Lucas]], [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
|publication=[Bibtex:Luc04|MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting]
}}

Bibtex:Luc04

2009-05-19T11:16:20Z

Rgutierrez: /* BibTex */

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]] 
== BibTex ==

<bibtex>
@inproceedings{Luc04,
author = {Lucas, S.},
title = {MU-TERM: A Tool for Proving Termination of
Context-Sensitive Rewriting},
booktitle = {Proc. of 15th International Conference on Rewriting
Techniques and Applications, RTA'04},
editor = {Oostrom, V. van},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {200--209},
year = {2004},
address = {Aachen, Germany},
publisher = {Springer-Verlag},
note = {Available at \url{http://zenon.dsic.upv.es/muterm/}}
}</bibtex>

Bibtex:Luc04

2009-05-19T11:15:25Z

Rgutierrez: New page:  == BibTex ==  <bibtex> ...

[[Category:Bibtex| ]]
[[Category:BibtexNews| ]] 
== BibTex ==

<bibtex>
@inproceedings{Luc04,
author = {Lucas, S.},
title = {{MU-TERM: A Tool for Proving Termination of
Context-Sensitive Rewriting}},
booktitle = {Proc.\ of 15th International Conference on Rewriting
Techniques and Applications, RTA'04},
editor = {Oostrom, V. van},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {200--209},
year = {2004},
address = {Aachen, Germany},
publisher = {Springer-Verlag},
note = {Available at \url{http://zenon.dsic.upv.es/muterm/}}
}</bibtex>

Tools:MU-TERM

2009-05-19T10:45:01Z

Rgutierrez:

{{Tool
|shortname=MU-TERM
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=[[People:Salvador Lucas|Salvador Lucas]], [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
|publication=
}}

Tools:MU-TERM

2008-05-23T09:18:35Z

Rgutierrez:

{{Tool
|shortname=MuTerm
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=[[People:Salvador Lucas|Salvador Lucas]], [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T10:09:19Z

Rgutierrez:

{{Tool
|shortname=MuTerm
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:52:14Z

Rgutierrez:

{{Tool
|shortname=muTerm
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:51:51Z

Rgutierrez: Tools:Μ-Term moved to Tools:MuTerm over redirect

{{Tool
|shortname=μ-Term
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:?-Term

2008-05-19T09:51:51Z

Rgutierrez: Tools:Μ-Term moved to Tools:MuTerm over redirect

#REDIRECT [[Tools:MuTerm]]

Tools:MU-TERM

2008-05-19T09:51:38Z

Rgutierrez: Tools:MuTerm moved to Tools:Μ-Term

{{Tool
|shortname=μ-Term
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:45:13Z

Rgutierrez:

{{Tool
|shortname=μ-Term
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de València
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:44:51Z

Rgutierrez:

{{Tool
|shortname=μ-Term
|longname=A tool for proving termination properties of TRSs
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de Valencia
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:43:48Z

Rgutierrez:

{{Tool
|shortname=μ-Term
|longname=
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de Valencia
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

Tools:MU-TERM

2008-05-19T09:42:25Z

Rgutierrez: New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...

{{Tool
|shortname=muTerm
|longname=μ-Term
|homepage=http://zenon.dsic.upv.es/muterm/
|country=Spain
|university=Universitat Politècnica de Valencia
|developers=Salvador Lucas, [[People:Beatriz Alarcón|Beatriz Alarcón]], [[People:Raúl Gutiérrez|Raúl Gutiérrez]], [[People:Rafael Navarro-Marset|Rafael Navarro-Marset]], Eloy Romero et al.
}}

WScT08

2008-05-15T16:17:12Z

Rgutierrez: /* Registration */

= Workshop on Certified Termination WScT08 =

For general information on the workshop topic and history, see [[WScT]].

This will be a working meeting,
with plenty of room for discussion.

* location: Leipzig, Germany
* date: May 17 - 19, 2008
* local organizer: Johannes Waldmann, HTWK Leipzig

== Registration ==

Please register by writing your name here
and the title of the talk you want to give,
or the topic you want to discuss.
(Feel free to create wiki pages for your topic, and link from here.)

* Johannes Waldmann, topics I'd like to see
** the present of Rainbow (give help to people who want to use this, may include some time for actual implementation/hacking)
** future of Rainbow (what has become of the plans we made http://color.loria.fr/workshop.html)

* Christian Sternagel, (Topic: TBA)

* Adam Koprowski, (topic: TBA)

* René Thiemann, topics (presented in combination with Simon)
** (fixed) details on upcoming termination competition (TC)
** discussion of TC-details that have to be fixed by the community
** (since the TC should not be the main topic of this workshop, I would suggest to schedule these parts on Sunday)

* Simon Bailey, topics:
** the current state of the new implementation of the termination competition.

* Frederic Blanqui. I can present the current state of Rainbow and CoLoR.

* Carsten Fuhs, (topic: TBA)

* Raúl Gutiérrez,

* Évelyne Contejean. I and Xavier would like to give a talk on Sunday about the A3Pat approach.

* Xavier Urbain

* Andreas Gebhardt

== Program ==

I think we have two main topics
* A: (future of) certified termination
* B: (certified) termination competition

What's your preference (vote here)
* Saturday: A, Sunday: B
* Saturday: B, Sunday: A
* (X) mixed: Saturday: Introduction, Sunday: Discussion

We should aim for a "results" session on Monday
(write down results of discussion, and open problems).

== Local Organization ==

=== Date/time ===

session times are provisional

* Saturday 9 -- 12 a.m. and 2 -- 5 p.m., Room Z017
* Sunday 9 -- 12 a.m. and 2 -- 5 p.m., Room Z017
** Workshop Dinner 7 p.m. at [http://www.da-vito-leipzig.de/anfahrt.htm Ristorante da Vito]
* Monday 9 a.m. -- 1 p.m. , Room Li108

=== Location ===

HTWK, Fachbereich IMN, Gustav-Freytag-Straße 42a, 04275 Leipzig
http://www.htwk-leipzig.de/hochsch/lageplan.pdf
* Z017 in ground floor of Zuse-Bau
* Li108 in first floor of Lipsius-Bau

=== Food ===

* coffee and soda provided at the workshop (small fee)
* lunch Saturday/Sunday: several small restaurants nearby
* lunch Monday: Mensa/Cafeteria HTWK

=== Accomodation ===

You'll find plenty of hotels of all price ranges through the usual
[http://maps.google.de/maps?f=l&hl=de&geocode=&q=hotel&near=Leipzig+Gustav+Freytag+Stra%C3%9Fe&sll=51.315754,12.37009&sspn=0.039108,0.076733&ie=UTF8&ll=51.313823,12.37421&spn=0.019555,0.038366&z=15 search engines]

HTWK is at Karl-Liebknecht-Straße/Richard-Lehmann-Straße.

(note: Hotel Seeblick is not a hotel. And there is no Lake.)

=== Travel info ===

* from Airport Leipzig/Halle to Leipzig Hauptbahnhof (central station, right next to city center): several trains. Takes 15 min, goes every 30 min
* from Hauptbahnhof to HTWK (workshop location): take tram #10 (direction Lößnig) or #11 (direction Markkleeberg Ost), until station "Connewitz Kreuz"
(takes 15 min, goes every 15 min) then walk (5 min).

=== Tourist info ===

places to go:

* cultural/historic/shopping: city center (tram stations Wilhelm-Leuschner-Platz, Augustusplatz)
* entertainment (cafes, restaurants, clubs, bars): Karl-Liebknecht-Straße (tram: Südplatz), Gottschedstraße (tram: Thomaskirche)
* recreation: Clara-Zetkin-Park, Cospudener See

... and there's more (so you'll have to come back for [[WST09]])

== Adjacent event(s) ==

Note that WScT08 is right after
[http://www.orchid.inf.tu-dresden.de/gdp/wata08/ WATA08 Dresden].
(There will even be some termination talks at WATA.)
Travel from Dresden to Leipzig is easy (one hour by train).
Dresden is a major tourist attraction.

People:Raúl Gutiérrez

2008-04-24T11:49:54Z

Rgutierrez: People:Firstname Lastname moved to People:Raúl Gutiérrez: Wrong name

{{Person
|firstname=Raúl
|middlenames=
|lastname=Gutiérrez
|titles=
|email=rgutierrez@dsic.upv.es
|homepage=http://www.dsic.upv.es/~rgutierrez/
|country=Spain
|university=Universidad Politénica de Valencia
|department=Sistemas Informáticos y Computación
|role=PhD. Student
}}

People:Raúl Gutiérrez

2008-04-24T11:45:20Z

Rgutierrez: New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...

WScT08

2008-04-24T11:37:32Z

Rgutierrez:

= Workshop on Certified Termination WScT08 =

For general information on the workshop topic and history, see [[WScT]].

This will be a working meeting,
with plenty of room for discussion.

* location: Leipzig, Germany
* date: May 17 - 19, 2008
* local organizer: Johannes Waldmann, HTWK Leipzig

== Registration ==

Please register by writing your name here
and the title of the talk you want to give,
or the topic you want to discuss.
(Feel free to create wiki pages for your topic, and link from here.)

* Johannes Waldmann, topics I'd like to see
** the present of Rainbow (give help to people who want to use this, may include some time for actual implementation/hacking)
** future of Rainbow (what has become of the plans we made http://color.loria.fr/workshop.html)

* Christian Sternagel, (Topic: TBA)

* Adam Koprowski, (topic: TBA)

* René Thiemann, topics to present (in combination with other colleagues from Innsbruck) and discuss
** presentation of (fixed) details on upcoming termination competition (TC)
** discussion of TC-details that have to be fixed by the community

* Frederic Blanqui. I can present the current state of Rainbow and CoLoR.

* Carsten Fuhs, (topic: TBA)

* Raúl Gutiérrez, (topic: TBA)

== Program ==

I think we have two main topics
* A: (future of) certified termination
* B: (certified) termination competition

What's your preference (vote here)
* Saturday: A, Sunday: B
* Saturday: B, Sunday: A
* (X) mixed: Saturday: Introduction, Sunday: Discussion

We should aim for a "results" session on Monday
(write down results of discussion, and open problems).

== Local Organization ==

=== Date/time ===

session times are provisional

* Saturday 9 -- 12 a.m. and 2 -- 5 p.m.
* Sunday 9 -- 12 a.m. and 2 -- 5 p.m., Workshop Dinner 7 p.m.
* Monday 9 a.m. -- 1 p.m.

=== Location ===

HTWK, Fachbereich IMN, Gustav-Freytag-Straße 42a, 04275 Leipzig
("Zuse-Bau" on that map: http://www.htwk-leipzig.de/hochsch/lageplan.pdf)

=== Food ===

* coffee and soda provided at the workshop (small fee)
* lunch Saturday/Sunday: several small restaurants nearby
* lunch Monday: Mensa/Cafeteria HTWK

=== Accomodation ===

You'll find plenty of hotels of all price ranges through the usual
[http://maps.google.de/maps?f=l&hl=de&geocode=&q=hotel&near=Leipzig+Gustav+Freytag+Stra%C3%9Fe&sll=51.315754,12.37009&sspn=0.039108,0.076733&ie=UTF8&ll=51.313823,12.37421&spn=0.019555,0.038366&z=15 search engines]

HTWK is at Karl-Liebknecht-Straße/Richard-Lehmann-Straße.

(note: Hotel Seeblick is not a hotel. And there is no Lake.)

=== Travel info ===

* from Airport Leipzig/Halle to Leipzig Hauptbahnhof (central station, right next to city center): several trains. Takes 15 min, goes every 30 min
* from Hauptbahnhof to HTWK (workshop location): take tram #10 (direction Lößnig) or #11 (direction Markkleeberg Ost), until station "Connewitz Kreuz"
(takes 15 min, goes every 15 min) then walk (5 min).

=== Tourist info ===

places to go:

* cultural/historic/shopping: city center (tram stations Wilhelm-Leuschner-Platz, Augustusplatz)
* entertainment (cafes, restaurants, clubs, bars): Karl-Liebknecht-Straße (tram: Südplatz), Gottschedstraße (tram: Thomaskirche)
* recreation: Clara-Zetkin-Park, Cospudener See

... and there's more (so you'll have to come back for [[WST09]])

== Adjacent event(s) ==

Note that WScT08 is right after
[http://www.orchid.inf.tu-dresden.de/gdp/wata08/ WATA08 Dresden].
(There will even be some termination talks at WATA.)
Travel from Dresden to Leipzig is easy (one hour by train).
Dresden is a major tourist attraction.