SIG Deductive Systems (DedSys)

The special interest group on Deduction Systems (DedSys) promotes the transfer of knowledge in the field of formal proof procedures for the solution of problems used in mathematics and computer science. The SIG promotes in particular the exchange of theoretical