Thread Index (1308)

[Chronological Index] [Top]
Last update: Thu Dec 16 20:23:41 2021
2 threaded messages

  • [mizar] 2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call), Aleksy Schubert
  • [mizar] FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna), Aleksy Schubert

    • [Chronological Index] [Top]