Termination-Portal.org - User contributions [en]

People:Stephan Falke

2012-04-25T11:38:51Z

Spf:

{{Person
|firstname=Stephan
|middlenames=
|lastname=Falke
|titles=
|email=falke@iti.uka.de
|homepage=http://baldur.iti.uka.de/~falke/
|country=Germany
|university=Karlsruhe Institute of Technology (KIT)
|department=Computer Science
|role=Postdoctoral Researcher
}}

Tools:KITTeL

2012-04-25T11:38:01Z

Spf: Created page with " <!-- 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 pa..."

{{Tool
|shortname=KITTeL
|longname=KITTeL
|homepage=http://baldur.iti.kit.edu/~falke/kittel/
|country=Germany
|university=Karlsruhe Institute of Technology (KIT)
|developers=Stephan Falke
|publication=
}}

People:Stephan Falke

2009-12-21T10:05:34Z

Spf:

{{Person
|firstname=Stephan
|middlenames=
|lastname=Falke
|titles=
|email=falke@iti.uka.de
|homepage=http://baldur.iti.uka.de/~falke/
|country=Germany
|university=Karlsruhe Institute of Technology
|department=Computer Science
|role=Postdoctoral Researcher
}}

WST

2008-04-02T18:30:33Z

Spf:

The International Workshop on Termination (WST) has been held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), and Paris (2007).
WST traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

Upcoming events:
* The 10th International Workshop on Termination is planned for 2009 in Leipzig, Germany: [[WST09]]

Information about previous workshops can be found online:
* [http://www.lsv.ens-cachan.fr/rdp07/wst.html 9th International Workshop on Termination, Paris, 2007]
* [http://www.easychair.org/FLoC-06/WST.html 8th International Workshop on Terminaton, Seattle, 2006]
* [http://www-i2.informatik.rwth-aachen.de/WST04/ 7th International Workshop on Terminaton, Aachen, 2004]
* [http://www.dsic.upv.es/~rdp03/wst/ 6th International Workshop on Terminaton, Valencia, 2003]
* [http://www.cs.tau.ac.il/~nachumd/wst/index.html 5th International Workshop on Terminaton, Utrecht, 2001]
* [http://verify.rwth-aachen.de/giesl/WST99.html 4th International Workshop on Terminaton, Dagstuhl, 1999]
* [http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 3rd International Workshop on Termination, Ede, 1997]

Independently from WST, there are meetings on Certified Termination : [[WScT]]

Bibtex:BN98

2008-04-02T16:43:13Z

Spf: New page: == BibTex ==  <bibtex> @BOOK{BN98, AUTHOR = {F. Baader and T. Nipkow}, TITLE = {Term Rewriting and All That...

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

<bibtex>
@BOOK{BN98,
AUTHOR = {F. Baader and T. Nipkow},
TITLE = {Term Rewriting and All That},
PUBLISHER = {Cambridge University Press},
ADDRESS = {Cambridge},
YEAR = 1998
}
</bibtex>

Template:Person

2008-03-31T20:13:16Z

Spf: /* {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} */

= {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} =
* {{{role}}} in the Department of {{{department}}} ({{{university}}}, {{{country}}})
* home page: {{{homepage}}}
* email: mailto:{{{email}}}
<includeonly>
[[Category:People|{{{lastname}}}, {{{{firstname}}}]]
[[Category:{{{university}}}|{{{lastname}}}, {{{{firstname}}}]]
[[Category:{{{country}}}|{{{lastname}}}, {{{{firstname}}}]]
</includeonly>

People:Stephan Falke

2008-03-31T16:07:26Z

Spf: 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=Stephan
|middlenames=
|lastname=Falke
|titles=
|email=spf@cs.unm.edu
|homepage=http://www.cs.unm.edu/~spf/
|country=USA
|university=University of New Mexico
|department=Computer Science
|role=PhD Student
}