Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving. (Wikipedia).
Wissenschaftsfreiheit – Prof. Ulrich Becker – 70 Jahre Grundgesetz
Prof. Dr. Ulrich Becker, Direktor am Max-Planck-Institut für Sozialrecht und Sozialpolitik, erläuterte im Forum „70 Jahre Grundgesetz: Wissenschaftsfreiheit in Gefahr?“ die Regelung der Wissenschaftsfreiheit im Grundgesetz, historische und europäische Hintergründe, ging aber auch auf poten
From playlist Videos auf Deutsch
Der Nürnberger Prozess - Das Urteil (2/9) / Hauptkriegsverbrecher-Prozess
Plädoyer, Robert Jackson, Beweismaterial, der historische Text der Schande und Verderbtheit der 20. Jahrhunderts, Joachim von Ribbentrop, Wilhelm Keitel, Wehrmacht, Ernst Kaltenbrunner, Großinquisitor, Terror, Gefügigkeit, Alfred Rosenberg, Vernichtung des Judentums, Julius Streicher, obsz
From playlist Der Nürnberger Prozess - Das Urteil
Hitler and the Hohenzollerns - The Kaiser's Family & the Nazis
During the Nazi period, the former Imperial Family of Kaiser Wilhelm II maintained a strange relationship with Hitler, hoping that he would re-instate one of them to the post of Emperor. Dr. Mark Felton FRHistS, FRSA, is a well-known British historian, the author of 22 non-fiction books
From playlist Hitler Various Subjects
Portraits of Power - Hitler - The Road to Revenge Narrated by Henry Fonda Adolf Hitler (20 April 1889 -- 30 April 1945) was an Austrian-born German politician and the leader of the Nazi Party (German: Nationalsozialistische Deutsche Arbeiterpartei (NSDAP); National Socialist German Worker
From playlist Portraits of Power - Those who shaped the Twentieth Century
Der Nürnberger Prozess - Das Urteil (4/9) / Hauptkriegsverbrecher-Prozess
Wolfram Heinrich Friedrich Sievers, Geschäftsführer der nationalsozialistischen Forschungsgemeinschaft Deutsches Ahnenerbe, Anatomisches Institut, Reichsuniversität Straßburg, Skelettsammlung, Anklage für den Generalstab und der deutschen Wehrmacht, Telford Taylor, Kommissarbefehl, politis
From playlist Der Nürnberger Prozess - Das Urteil
Der Nürnberger Prozess - Die Verteidigung (7/8) / Hauptkriegsverbrecher-Prozess
Generaloberst, Alfred Jodl, Luise Jodl, Hilfsverteidigerin, Prof. Dr. Franz Exner, Wehrmachtsführungsstab, Feldmarschall, Wilhelm Keitel, Wilhelm Bodewin Johann Gustav Keitel, Befehlshaber, Arbeitspflichtgesetz, Arthur Seyß-Inquart, Reichskommissar, Zwangsarbeit, Judenverfolgung, Deportati
From playlist Der Nürnberger Prozess - Die Verteidigung
Norwegian Monarchs Family Tree
Buy the chart: https://usefulcharts.com/products/european-royal-family-tree-north-east Danish Monarchs Family Tree: https://youtu.be/zkEjcl21n8I Swedish Monarchs Family Tree: https://youtu.be/wlRafgsG5ms CREDITS: Chart: Matt Baker Script/Narration: @JackRackam Intro animation: @AlMuqa
From playlist Royal Family Trees
Ten Minute History - The Viking Age (Short Documentary)
Twitter: https://twitter.com/Tenminhistory Patreon: https://www.patreon.com/user?u=4973164 Merch: https://teespring.com/stores/ten-minute-historys-store Frolicking Caption was provided by FuzzytheFair. Special Thanks to the following Patrons for their support on Patreon: Franco La Bruna
From playlist Ten Minute World History
Harald Juhnke - letztes großes Interview vor Erkrankung (1998)
Das Interview wurde 1998 anlässlich des 50. Bühnenjubiläum von Harald Juhnke im Rahmen der Dreharbeiten der CHRONOS-MEDIA/Juhnke-Entertainment ARD-Dokumentation „Bühne auf! Applaus“ produziert. In der Dokumentation waren nur Auszüge zu sehen. Hier ist nun erstmals das ganze Interview zu se
From playlist Interview-Rohmaterial aus unserem Archiv
Harald Fairhair Ravages the Western Isles // Extract from an Old Norse Saga - Heimskringla
This is an extract from Heimskringla, arguably the most important of the norse sagas. Written in Old Norse in the early 13th Century by Icelandic poet and historian Snorri Sturluson. History Time is now a podcast. You can find us on iTunes. Become a patron for as little as a dollar a mo
From playlist Vikings
Finding Hitler's Forgotten Office
In Munich, Hitler's personal office still exists. In this video, I try and gain access to the infamous office where the 1938 Munich Agreement was signed by Hitler, Neville Chamberlain and Eduard Daladier, the treaty that set Europe on the path to another world war. Dr. Mark Felton FRHistS
From playlist Hitler Various Subjects
This E-Lecture discusses the period of Old English with its main phases: from the arrival of the Anglo-Saxons, via the constant invasions of the Vikings up to a detailed account of what happend in 1066. Thus, the E-Lecture is more or less socio-culturally oriented, rather than linguistic.
From playlist VLC203 - The History of English
Karen Uhlenbeck receives the Abel Prize from H.M. King Harald of Norway
This clip is from the 2019 Abel Prize Award Ceremony. The Chair of the Abel Committee, Hans Munthe-Kaas asks Karen Uhlenbeck and His Majesty King Harald V of Norway to come forth. Karen Uhlenbeck receives the Abel Prize from His Majesty King Harald V of Norway. Thumbnail photo credit: E
From playlist Karen K. Uhlenbeck
Ten Minute English and British History #07 - The Late Anglo-Saxons and King Cnut
Twitter: https://twitter.com/Tenminhistory Patreon: https://www.patreon.com/user?u=4973164 This episode covers the reign of Æthelred the Unready and the many problems he faced, most notably the Vikings. The reign of Cnut and his many achievements and his legacy alongside those of his two
From playlist English and British History
The Settlement of Iceland // Book of the Icelanders (1122-1133) // Primary Source
This is an extract from 'The Book of the Icelanders', written during the early Twelfth Century. How do we actually know about history? Voices of the Past is a channel dedicated to recreating the original accounts from the people who lived through events, or who lived far closer to them th
From playlist Vikings
Der Nürnberger Prozess - Die Verteidigung (6/8) / Hauptkriegsverbrecher-Prozess
assassination of hitler, Ermordung von Hitler, Robert H. Jackson, Hjalmar Schacht, Karl Dönitz, Planung und Durchführung von Angriffskriegen, Verbrechen gegen das Kriegsrecht, Reichskriegsmarine, U-Boot-Waffe, Großadmiral, Oberbefehlshaber der Kriegsmarine, Korvettenkapitän Otto Kranzbühle
From playlist Der Nürnberger Prozess - Die Verteidigung
Vikings: Queen Lagertha Receives News | Season 5 Premieres Nov. 29 | History
King Harald (Peter Franzén) returns to Kattegat to bring good news to Queen Lagertha (Katheryn Winnick) but can she trust what he says? HISTORY’s hit drama series “Vikings” returns on Wednesday, November 29 at 9 PM ET/PT with a two-hour season five premiere. Season five begins with Ivar th
From playlist Vikings: Season 5 - Official Playlist | History