International Joint Conference on Automated Reasoning

Kahle, R. (Member of programme committee)

Activity: Participating in or organising an eventParticipation in conference

Description

PC Member and Workshop Chair
Period27 Jun 2016 - 2 Jul 2016
Event typeConference
LocationCoimbra, Portugal