Invited Speakers

Luke Ong, Oxford University (England) Verification of infinite structures: a semantic approach Vineet Kahlon, NEC Labs (USA) Towards Tractability of Dataflow Analysis for Concurrent Programs