Organized by Paola Bonizzoni<\/em><\/strong> (Milano, Italy) and Veli M\u00e4kinen<\/em><\/strong> (Helsinki, Finland).<\/p>\n Speakers:<\/strong><\/p>\n Organized by Tero Harju<\/em><\/strong> (Turku, Finland) and Speakers:<\/strong><\/p>\n Organized by Julia Knight<\/em><\/strong> (Notre Dame, USA) and Speakers:<\/strong><\/p>\n Organized by Delaram Kahrobaei<\/em><\/strong> (New York, USA) and Speakers:<\/strong><\/p>\n Organized by Juhani Karhum\u00e4ki<\/em><\/strong> (Turku, Finland) and Speakers:<\/strong><\/p>\n Topic:<\/strong> History and foundations of recursion, in memory of R\u00f3sza P\u00e9ter.<\/p>\n Organized by Liesbeth De Mol<\/span><\/strong><\/em> (Lille, France) and Giuseppe Primiero <\/em><\/strong>(London, United Kingdom).<\/p>\n Speakers:<\/strong><\/p>\n \u00a0<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":" Algorithmics for biology Organized by Paola Bonizzoni (Milano, Italy) and Veli M\u00e4kinen (Helsinki, Finland). Speakers: Tobias Marschall (Max-Planck-Institut\u00a0f\u00fcr\u00a0Informatik, Germany) A Guided Tour to Computational Haplotyping Fabio Vandin (University of Padova, Italy) Algorithms for Cancer Mutation Networks Gregory Kucherov (University Paris-Est Marne-la-Vall\u00e9e, France) Modern algorithmic techniques for biosequence search Gianluca Della Vedova (University of Milano-Bicocca, Italy) … Continue reading Special Sessions<\/span> \n
\nA Guided Tour to Computational Haplotyping<\/strong><\/li>\n<\/ul>\n\n
\nAlgorithms for Cancer Mutation Networks<\/strong><\/li>\n<\/ul>\n\n
\nModern algorithmic techniques for biosequence search<\/strong><\/li>\n<\/ul>\n\n
\nCharacter-based Phylogeny Construction and its Application to Tumor Evolution<\/strong><\/li>\n<\/ul>\n
\nCombinatorics and algorithmics on words<\/h3>\n
\nDirk Nowotka<\/em><\/strong> (Kiel, Germany).<\/p>\n\n
\nFormalizing a Fragment of Combinatorics on Words<\/strong><\/li>\n<\/ul>\n\n
\nPattern avoidance<\/strong><\/li>\n<\/ul>\n\n
\nOn variations of Morse and Hedlund theorem<\/strong><\/li>\n<\/ul>\n\n
\nFormulas with reversal<\/strong><\/li>\n<\/ul>\n
\nComputability in analysis, algebra, and geometry<\/h3>\n
\nAndrey Morozov<\/em><\/strong> (Novosibirsk, Russia).<\/p>\n\n
\nComplexity in different contexts<\/strong><\/li>\n<\/ul>\n\n
\nOutline of Partial Computability in Computable Topology<\/strong><\/li>\n<\/ul>\n\n
\nEliminating unbounded search in computable algebra<\/strong><\/li>\n<\/ul>\n\n
\nComputable Transformations of Structures<\/strong><\/li>\n<\/ul>\n
\nCryptography and information theory<\/h3>\n
\nHelger Lipmaa<\/em><\/strong> (Tartu, Estonia)<\/p>\n\n
\nGarbled Quantum Computation<\/strong><\/li>\n<\/ul>\n\n
\nOuroboros: A Provably Secure Proof-of-Stake Blockchain Protocol<\/strong><\/li>\n<\/ul>\n\n
\nDelayed-Input Cryptographic Protocols<\/strong><\/li>\n<\/ul>\n
\nFormal languages and automata theory<\/h3>\n
\nAlexander Okhotin<\/em><\/strong> (St. Petersburg, Russia).<\/p>\n\n
\nState Complexity of Neighbourhoods of Regular Languages<\/strong><\/li>\n<\/ul>\n\n
\nReversibility in Finite-State Devices<\/strong><\/li>\n<\/ul>\n\n
\nHybrid-set-vector automata and gluing of categories<\/strong><\/li>\n<\/ul>\n\n
\nRecompression: new approach to word equations<\/strong><\/li>\n<\/ul>\n
\nHistory and philosophy of computing<\/h3>\n
\n
\nG\u00f6del\u2019s Reception of Turing\u2019s Model of Computability: the Shift of Perception in 1934<\/strong><\/li>\n<\/ul>\n\n
\nRosa Politzer and the beginnings of the theory of computable functions<\/strong><\/li>\n<\/ul>\n\n
\nComputability and Causality
\n<\/strong><\/li>\n<\/ul>\n\n
\nTuring\u2019s 1949 paper in context<\/strong><\/li>\n<\/ul>\n