International Conference on Tests and Proofs (TAP)

  • Nikolai Tillmann (Organiser)

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Period24 Jul 201425 Jul 2014
Event typeConference
LocationUnited KingdomShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics