Интенсивы будут в несколько потоков: можно предложить что-то как для матёрых верификаторов, так и для начинающих хаскеллят.

Мы ищем курсы про темы, про которые сложно узнать где-то ещё. Например, “как делать сайты” скучно: этому учат везде. “Делаем изоморфный лендинг, кодогенерируя ассемблер, обходящий сетевой стэк ядра” — круто. “Как войти в дата саенс с помощью sklearn import *” — грустно. “Theory and theorems of modern reinforcement learning” — джуси.

Аудитория школы — студенты, которые ищут темы за страницами учебника с сочными и неожиданными применениями; профессиональные программисты, которые хотят выглянуть из тасков джиры в полёт академической и арт-фантазии; и бывшие программисты, которые стали менеджерами или учёными, и хотят по хардкору тряхнуть стариной. И все отлично умеют программировать, поэтому можно рассказывать сразу про свой предмет.