http://termination-portal.org/mediawiki/api.php?action=feedcontributions&user=Andreas.gebhardt&feedformat=atomTermination-Portal.org - User contributions [en]2024-03-28T13:09:39ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=WScT08&diff=416WScT082008-05-13T09:06:26Z<p>Andreas.gebhardt: /* Registration */</p>
<hr />
<div>= Workshop on Certified Termination WScT08 =<br />
<br />
For general information on the workshop topic and history, see [[WScT]].<br />
<br />
This will be a working meeting,<br />
with plenty of room for discussion.<br />
<br />
* location: Leipzig, Germany<br />
* date: May 17 - 19, 2008<br />
* local organizer: Johannes Waldmann, HTWK Leipzig<br />
<br />
<br />
== Registration ==<br />
<br />
Please register by writing your name here<br />
and the title of the talk you want to give,<br />
or the topic you want to discuss.<br />
(Feel free to create wiki pages for your topic, and link from here.)<br />
<br />
* Johannes Waldmann, topics I'd like to see<br />
** the present of Rainbow (give help to people who want to use this, may include some time for actual implementation/hacking)<br />
** future of Rainbow (what has become of the plans we made http://color.loria.fr/workshop.html)<br />
<br />
* Christian Sternagel, (Topic: TBA)<br />
<br />
* Adam Koprowski, (topic: TBA)<br />
<br />
* René Thiemann, topics to present (in combination with other colleagues from Innsbruck) and discuss<br />
** presentation of (fixed) details on upcoming termination competition (TC)<br />
** discussion of TC-details that have to be fixed by the community<br />
<br />
* Frederic Blanqui. I can present the current state of Rainbow and CoLoR.<br />
<br />
* Carsten Fuhs, (topic: TBA)<br />
<br />
* Raúl Gutiérrez, (topic: TBA)<br />
<br />
* Évelyne Contejean. I and Xavier would like to give a talk on Sunday about the A3Pat approach.<br />
<br />
* Xavier Urbain<br />
<br />
* Andreas Gebhardt<br />
<br />
== Program ==<br />
<br />
I think we have two main topics<br />
* A: (future of) certified termination <br />
* B: (certified) termination competition<br />
<br />
What's your preference (vote here)<br />
* Saturday: A, Sunday: B<br />
* Saturday: B, Sunday: A<br />
* (X) mixed: Saturday: Introduction, Sunday: Discussion<br />
<br />
We should aim for a "results" session on Monday<br />
(write down results of discussion, and open problems).<br />
<br />
== Local Organization == <br />
<br />
=== Date/time ===<br />
<br />
session times are provisional<br />
<br />
* Saturday 9 -- 12 a.m. and 2 -- 5 p.m.<br />
* Sunday 9 -- 12 a.m. and 2 -- 5 p.m., Workshop Dinner 7 p.m. <br />
* Monday 9 a.m. -- 1 p.m.<br />
<br />
=== Location ===<br />
<br />
HTWK, Fachbereich IMN, Gustav-Freytag-Straße 42a, 04275 Leipzig<br />
("Zuse-Bau" on that map: http://www.htwk-leipzig.de/hochsch/lageplan.pdf) <br />
<br />
=== Food ===<br />
<br />
* coffee and soda provided at the workshop (small fee)<br />
* lunch Saturday/Sunday: several small restaurants nearby<br />
* lunch Monday: Mensa/Cafeteria HTWK<br />
<br />
=== Accomodation ===<br />
<br />
You'll find plenty of hotels of all price ranges through the usual <br />
[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]<br />
<br />
HTWK is at Karl-Liebknecht-Straße/Richard-Lehmann-Straße.<br />
<br />
(note: Hotel Seeblick is not a hotel. And there is no Lake.)<br />
<br />
=== Travel info ===<br />
<br />
* from Airport Leipzig/Halle to Leipzig Hauptbahnhof (central station, right next to city center): several trains. Takes 15 min, goes every 30 min<br />
* from Hauptbahnhof to HTWK (workshop location): take tram #10 (direction Lößnig) or #11 (direction Markkleeberg Ost), until station "Connewitz Kreuz" <br />
(takes 15 min, goes every 15 min) then walk (5 min).<br />
<br />
=== Tourist info ===<br />
<br />
places to go:<br />
<br />
* cultural/historic/shopping: city center (tram stations Wilhelm-Leuschner-Platz, Augustusplatz)<br />
* entertainment (cafes, restaurants, clubs, bars): Karl-Liebknecht-Straße (tram: Südplatz), Gottschedstraße (tram: Thomaskirche)<br />
* recreation: Clara-Zetkin-Park, Cospudener See<br />
<br />
... and there's more (so you'll have to come back for [[WST09]])<br />
<br />
== Adjacent event(s) ==<br />
<br />
Note that WScT08 is right after<br />
[http://www.orchid.inf.tu-dresden.de/gdp/wata08/ WATA08 Dresden].<br />
(There will even be some termination talks at WATA.)<br />
Travel from Dresden to Leipzig is easy (one hour by train).<br />
Dresden is a major tourist attraction.</div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=What_domain_name%3F&diff=296What domain name?2008-03-31T17:17:45Z<p>Andreas.gebhardt: </p>
<hr />
<div>We want to have a domain name for this web site.<br />
What is your preference? Vote here <br />
<br />
* termination-portal.org<br />
<br />
* termination-portal.info<br />
<br />
* termination-live.org (by analogy to satlive.org)<br />
<br />
* terminationlive.(org|info) (registrateable via www.verio.com)<br />
<br />
* termination.at<br />
<br />
or extend the list (but check that the name is free).<br />
(everything like termination.* seems already taken)<br />
<br />
Peter: I like termination-portal as it is descriptive. (Carsten Otto thinks the same.)<br />
<br />
Carsten Fuhs: Another proposal might be <i>termination.at</i> (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?<br />
<br />
F. Blanqui: I vote for termination-portal.org.<br />
<br />
Andreas: I added <b>termination-portal.info</b> and <b>terminationlive.(org|info)</b> but for myself i like <i>terminationlive.org</i> because the analogy to satlive.org and *live* means maybe state of the art ...</div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=People:Andreas_Gebhardt&diff=242People:Andreas Gebhardt2008-03-30T13:36:53Z<p>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...</p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname=Andreas<br />
|middlenames=<br />
|lastname=Gebhardt<br />
|titles=<br />
|email=andreas.gebhardt@student.uni-halle.de<br />
|homepage=http://www.imn.htwk-leipzig.de/~agebhar1/<br />
|country=Germany<br />
|university=Martin-Luther University Halle-Wittenberg<br />
|department=Informatik<br />
|role=PhD Student<br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Kurth90&diff=241Bibtex:Kurth902008-03-30T13:28:19Z<p>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...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@phdthesis{kurth90,<br />
author = {Winfried Kurth},<br />
title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel},<br />
school = {Technische Universität Clausthal}<br />
year = {1990}<br />
}<br />
</bibtex></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Buendgen98&diff=240Bibtex:Buendgen982008-03-30T13:22:36Z<p>Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{buendgen98, author = {Reinhard Bündgen}, title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung}, publisher = {Vieweg}, ...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@book{buendgen98,<br />
author = {Reinhard Bündgen},<br />
title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung},<br />
publisher = {Vieweg},<br />
year = {1998}<br />
}<br />
</bibtex></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:MORV05&diff=239Bibtex:MORV052008-03-30T13:17:40Z<p>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...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@book{morv05,<br />
editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer},<br />
title = {Processec, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday},<br />
number = {LNCS3838},<br />
series = {Festschrift},<br />
publisher = {Springer--Verlag},<br />
address = {Berlin Heidelberg},<br />
year = {2005}<br />
}<br />
</bibtex></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:TeReSe03&diff=238Bibtex:TeReSe032008-03-30T13:13:27Z<p>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...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@book{terese03,<br />
editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer},<br />
title = {Term Rewriting Seminar -- Terese},<br />
publisher = {Cambridge University Press},<br />
year = {2003}<br />
}<br />
</bibtex></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch02&diff=237Bibtex:Ohlebusch022008-03-30T13:08:37Z<p>Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{ohlebusch02, author = {Enno Ohlebusch}, title = {Advanced Topics in Term Rewriting}, publisher = {Springer}, address = {New York}, ...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@book{ohlebusch02,<br />
author = {Enno Ohlebusch},<br />
title = {Advanced Topics in Term Rewriting},<br />
publisher = {Springer},<br />
address = {New York},<br />
year = {2002}<br />
}<br />
</bibtex></div>Andreas.gebhardthttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Drosten89&diff=234Bibtex:Drosten892008-03-30T13:03:24Z<p>Andreas.gebhardt: New page: Category:Bibtex == BibTex == <bibtex> @book{drosten89, author = {Klaus Drosten}, title = {Termersetzungssysteme}, number = {210}, series = {Informatik--Fachberichte}, publish...</p>
<hr />
<div>[[Category:Bibtex]]<br />
== BibTex ==<br />
<bibtex><br />
@book{drosten89,<br />
author = {Klaus Drosten},<br />
title = {Termersetzungssysteme},<br />
number = {210},<br />
series = {Informatik--Fachberichte},<br />
publisher = {Springer--Verlag},<br />
address = {Berlin Heidelberg},<br />
year = {1989}<br />
}<br />
</bibtex></div>Andreas.gebhardt