1 year ago

HLF Review 2016

Monday, September 19

Monday, September 19 Workshops László Kozma, Hugo Macedo, Lianhua Chi Randomized Algorithms Kun He, Cengiz Oztireli Neural Computing and Deep Learning Richard Bubel Specification and Verification of Software Libraries Edmon Begoli, Vincent Schlegel The Moving Frontier Between Informatics and Mathematics Marc-Oliver Pahl, Amel Bennaceur, Sai Manoj Cyber-Physical Systems Annette Bieniusa Concurrency – Theory and Practice Samira Samadi Humanly Usable and Secure Password Generation Methods Ben Heuer Ranks of Elliptic Curves 68

Monday, September 19 City Tour & Welcome Dinner Following the conclusion of the workshops, participants were able to join the Heidelberg City Tour which took in some of the city’s most recognizable sights before ending at the Heidelberg Convention Center for the Welcome Dinner supported by the Metropolregion Rhein-Neckar (Rhine-Neckar Metropolitan Region). To set a scientific tone for the dinner, Reinhold Ewald of the European Space Agency (ESA) was the evening’s keynote speaker. He captured the collective imagination with phenomenal images, stories and insider details from the astronaut’s perspective. 69