Redirection from the LFCS web site

Publishing on the LFCS site

To allow shorter addresses, that are easier to communicate, we can set up redirection from the top of the LFCS site. This gives URLs of the form

    http://www.lfcs.ed.ac.uk/your-name-here

and

    http://www.lfcs.inf.ed.ac.uk/your-name-here

These addresses can redirect to pages within the LFCS site, or others elsewhere. If you would like one, please contact Dyane Goodchild.

Obvious candidates for links like this include the names of projects, grants or conference pages hosted here. New PhD students, or anyone else who dislikes their default personal web page address, might also be interested.

To claim a piece of the LFCS site itself for publishing, read here. For machine-level aliases, of the form

    http://you-choose.lfcs.ed.ac.uk

please contact George Ross.

Examples

This is a list of some redirections currently in place.

www.lfcs.ed.ac.uk/pepa	PEPA project
www.lfcs.ed.ac.uk/mlj	MLj compiler
www.lfcs.ed.ac.uk/mlkit	ML Kit compiler
www.lfcs.ed.ac.uk/cwb	Concurrency Workbench
www.lfcs.ed.ac.uk/proofgen	Proof General
www.lfcs.ed.ac.uk/lego	LEGO proof assistant
www.lfcs.ed.ac.uk/isabelle	Isabelle at Edinburgh
www.lfcs.ed.ac.uk/polyml	Poly/ML
www.lfcs.ed.ac.uk/ml	Standard ML

www.lfcs.ed.ac.uk/cofi	Common Framework Initiative
www.lfcs.ed.ac.uk/mrg	Mobile Resource Guarantees
www.lfcs.ed.ac.uk/degas	Design Environment for Global Applications
www.lfcs.ed.ac.uk/rbc	Types for Resource-Bounded Computation
www.lfcs.ed.ac.uk/PAPM	Process Algebra and Performance Modelling
www.lfcs.ed.ac.uk/lics	Logic in Computer Science
www.lfcs.ed.ac.uk/milner	Milner Lecture