Leah Neukirchen
Beiträge
"Cryptic crosswords" are some of the most inscrutable word puzzles for the inexperienced and pose a serious challenge for non-native speakers. In a cryptic crossword, words are not only found by definition (as in a regular crossword), but also by wordplay.
We'll investigate how cryptic crosswords work, where we can find them, how we can solve them, and we will try to tackle some clues together.
P.S.: Can you already solve the clue in the talk title?
Im Gebiet der Softwarespezifikation und -verifikation sind Temporallogiken ein nützliches Mittel, um das Verhalten von Algorithmen zu beschreiben und ihre Eigenschaften zu formalisieren. So kann zum Beispiel die Korrektheit von nebenläufigen Programmen bewiesen werden, oder man kann Fehler in real existierender Software durch Finden von Gegenbeispielen aufzeigen.