Parent Categories/Forums: Mercury

Mercury - Ads

This forum is an archive for the mailing list: mercury-ads@csse.unimelb.edu.au (mailing list options). Messages posted here will be sent to this mailing list.

Child Forums (0): None

To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more

Post New Message :: Alert me of new posts :: Rating Filter:

Thread (18 Threads)

Rating

Replies

Last Message

(no subject) by Oege de Moor

by Oege de Moor

Second Call for Participation TFP 2008, The Netherlands by Peter Achten

by Peter Achten

Third Call for Participation AFP 2008 (correct date early registration) by Peter Achten

by Peter Achten

First Call for Participation TFP 2008, The Netherlands (correct early registration date) by Peter Achten

by Peter Achten

Third Call for Participation AFP 2008 by Peter Achten

by Peter Achten

First Call for Participation TFP 2008, The Netherlands by Peter Achten

by Peter Achten

2nd call for participation AFP 2008, The Netherlands by Peter Achten

by Peter Achten

Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008) by Peter Achten

by Peter Achten

1st call for participation AFP 2008, The Netherlands by Peter Achten

by Peter Achten

Second Call for Papers TFP 2008, The Netherlands by Peter Achten

by Peter Achten

(2nd CFP) Workshop on Logic-based Methods in Programming Environments by Wim Vanhoof

by Wim Vanhoof

Last call for papers: Workshop on Termination (WST 2006) by Harald Sondergaard

by Harald Sondergaard

(CFP) Workshop on Logic-based Programming Environments by Wim Vanhoof

by Wim Vanhoof

Call for papers: Workshop on Termination (WST 2006) by Harald Sondergaard

by Harald Sondergaard

[clean-list] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006 by Steve Zdancewic

by Steve Zdancewic

[LProlog] AMAST 2006 2nd Call for Papers by Varmo Vene

by Varmo Vene

CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06) by Giancarlo Fortino

by Giancarlo Fortino

[Coq-Club]MPC 2006 2nd Call for Papers by Tarmo Uustalu

by Tarmo Uustalu

Post New Message :: Alert me of new posts ::