PhD position in ICT on Formal Verification via SMT available in Trento
AISC'10: Deadline Extension to March 12, 2010 (Abstracts: March 9, 2010)
How to translate \cases{...}. Online repository of examples
AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers
AISC'10: 2nd Call for Papers
MathPlayer 2.2 released
Possible bug in the operator dictionary and mmlalias.ent?
- Re: Possible bug in the operator dictionary and mmlalias.ent?
- Re: Possible bug in the operator dictionary and mmlalias.ent?