Toggle navigation
Home
About
Important Dates
Sponsors
Previous MDS
IMI Prize
Contact Address
+
Committees
Venue and Info
Venue
Transport
Accommodation
Useful Info
+
Speakers and Participants
Plenary Speakers
Invited Sections Speakers
Mini-symposia
Participants
List of Abstracts
+
Schedule
Register
1. MLAC – Panel 9
Chair: Rumen Daskalov
Iliya Bouyukliev
. Hadamard Matrices and Cryptographic Properties of Boolean Functions
Petar Iliev
. An Introduction to Lower Bounds on Formula-size in Modal Logic
1. Mathematical Logic, Algebra, and Combinatorics
Location:
IMI - Hall 578
Date:
July 14, 2017
Time:
11:30 - 13:00
UP
‹
›
×