Formal Sciences

The formal sciences study abstract structures and systems of reasoning, including mathematics, statistics, logic, theoretical computer science and information science. Meetings are typically presentation-led, with parallel tracks by subfield, tutorial sessions and workshops attached to the main programme. They attract academic researchers and doctoral students, teachers of the discipline, and analysts and engineers applying formal methods in industry.