Robuta

https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-82 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) annual conference computer science eacsl logic https://www.eacsl.org/ackermann-award/wilhelm-ackermann/ Wilhelm Ackermann – EACSL wilhelm ackermann eacsl https://www.eacsl.org/helena-rasiowa-award-2/helena-rasiowa-award/ Helena Rasiowa – EACSL helena rasiowa eacsl https://www.eacsl.org/what-is-eacsl/ What is EACSL – EACSL what is eacsl