Termination-Portal.org - User contributions [en]

WScT08

2008-05-13T09:06:26Z

Andreas.gebhardt: /* 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 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)

* É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.
* 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.

What domain name?

2008-03-31T17:17:45Z

Andreas.gebhardt:

We want to have a domain name for this web site.
What is your preference? Vote here

* termination-portal.org

* termination-portal.info

* termination-live.org (by analogy to satlive.org)

* terminationlive.(org|info) (registrateable via www.verio.com)

* termination.at

or extend the list (but check that the name is free).
(everything like termination.* seems already taken)

Peter: I like termination-portal as it is descriptive. (Carsten Otto thinks the same.)

Carsten Fuhs: Another proposal might be termination.at (still free according to whois). The name is quite catchy and short, and I do not think that using a "national" domain name (here: Austria) would be a big problem. Does anyone know how hard it is to get an .at-domain?

F. Blanqui: I vote for termination-portal.org.

Andreas: I added termination-portal.info and terminationlive.(org|info) but for myself i like terminationlive.org because the analogy to satlive.org and *live* means maybe state of the art ...

People:Andreas Gebhardt

2008-03-30T13:36:53Z

Andreas.gebhardt: 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...

{{Person
|firstname=Andreas
|middlenames=
|lastname=Gebhardt
|titles=
|email=andreas.gebhardt@student.uni-halle.de
|homepage=http://www.imn.htwk-leipzig.de/~agebhar1/
|country=Germany
|university=Martin-Luther University Halle-Wittenberg
|department=Informatik
|role=PhD Student
}}

Bibtex:Kurth90

2008-03-30T13:28:19Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @phdthesis{kurth90, author = {Winfried Kurth}, title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel}, school = {T...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@phdthesis{kurth90,
author = {Winfried Kurth},
title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel},
school = {Technische Universität Clausthal}
year = {1990}
}
</bibtex>

Bibtex:Buendgen98

2008-03-30T13:22:36Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{buendgen98, author = {Reinhard Bündgen}, title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung}, publisher = {Vieweg}, ...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@book{buendgen98,
author = {Reinhard Bündgen},
title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung},
publisher = {Vieweg},
year = {1998}
}
</bibtex>

Bibtex:MORV05

2008-03-30T13:17:40Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{morv05, editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer}, title = {Processec, Terms and Cycles: Step...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@book{morv05,
editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer},
title = {Processec, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday},
number = {LNCS3838},
series = {Festschrift},
publisher = {Springer--Verlag},
address = {Berlin Heidelberg},
year = {2005}
}
</bibtex>

Bibtex:TeReSe03

2008-03-30T13:13:27Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{terese03, editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer}, title = {Term Rewriting Seminar -- Terese}, publisher = {Cambridge U...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@book{terese03,
editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer},
title = {Term Rewriting Seminar -- Terese},
publisher = {Cambridge University Press},
year = {2003}
}
</bibtex>

Bibtex:Ohlebusch02

2008-03-30T13:08:37Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{ohlebusch02, author = {Enno Ohlebusch}, title = {Advanced Topics in Term Rewriting}, publisher = {Springer}, address = {New York}, ...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@book{ohlebusch02,
author = {Enno Ohlebusch},
title = {Advanced Topics in Term Rewriting},
publisher = {Springer},
address = {New York},
year = {2002}
}
</bibtex>

Bibtex:Drosten89

2008-03-30T13:03:24Z

Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{drosten89, author = {Klaus Drosten}, title = {Termersetzungssysteme}, number = {210}, series = {Informatik--Fachberichte}, publish...

[[Category:Bibtex]]
== BibTex ==
<bibtex>
@book{drosten89,
author = {Klaus Drosten},
title = {Termersetzungssysteme},
number = {210},
series = {Informatik--Fachberichte},
publisher = {Springer--Verlag},
address = {Berlin Heidelberg},
year = {1989}
}
</bibtex>