[loginf] Special Journal Issue on Unification: Extended Deadlines

Mircea Marin mmarin at score.cs.tsukuba.ac.jp
Tue Feb 10 09:29:35 CET 2009

Previous message: [loginf] First call for papers: Module and Libraries for Proof Assistants
Next message: [loginf] CFA: Training School in Symbolic Computation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20090210/e8113121/attachment.html

Previous message: [loginf] First call for papers: Module and Libraries for Proof Assistants
Next message: [loginf] CFA: Training School in Symbolic Computation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the loginf mailing list