|
Martin Wirsing
Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Biography Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) and at Université Paris 7, obtaining the Diplom in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the Université Paris 7. Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). In 1975-1983 he was a research assistant at the chair of F.L. Bauer at Technical University of Munich where in 1984 he completed his Habilitation in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU as the Chair of Programming and Software Engineering. Several years he served as Dean, Head of Department and Vice ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bayreuth
Bayreuth (, ; bar, Bareid) is a town in northern Bavaria, Germany, on the Red Main river in a valley between the Franconian Jura and the Fichtelgebirge Mountains. The town's roots date back to 1194. In the 21st century, it is the capital of Upper Franconia and has a population of 72,148 (2015). It hosts the annual Bayreuth Festival, at which performances of operas by the 19th-century German composer Richard Wagner are presented. History Middle Ages and Early Modern Period The town is believed to have been founded by the counts of Andechs probably around the mid-12th century,Mayer, Bernd and Rückel, Gert (2009). ''Bayreuth – Tours on Foot'', Heinrichs-Verlag, Bamberg, p.5, . but was first mentioned in 1194 as ''Baierrute'' in a document by Bishop Otto II of Bamberg. The syllable ''-rute'' may mean ''Rodung'' or "clearing", whilst ''Baier-'' indicates immigrants from the Bavarian region. Already documented earlier, were villages later merged into Bayreuth: Seulbitz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Planck Institute Of Psychiatry
The Max Planck Institute of Psychiatry (german: Max-Planck-Institut für Psychiatrie) is a scientific institute based in the city of Munich in Germany specializing in psychiatry. Currently directed by Elisabeth Binder and Alon Chen, it is one of the 81 institutes in the Max Planck Society. History The institute was founded as the German Institute for Psychiatric Research (german: Deutsche Forschungsanstalt für Psychiatrie) by King Ludwig III of Bavaria in Munich on February 13, 1917. The main force behind the institute was the psychiatrist Emil Kraepelin. Substantial funding was received from the Jewish-American banker James Loeb, as well as from the Rockefeller Foundation, well into the 1930s. The institute became affiliated with the K. W. Society for the Advancement of Science (german: Kaiser-Wilhelm-Gesellschaft zur Förderung der Wissenschaften) in 1924. In 1928 a new building of the institute was opened at 2 Kraepelinstrasse. The building was financed primarily by a donati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of The Ludwig Maximilian University Of Munich
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of The University Of Passau
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1948 Births
Events January * January 1 ** The General Agreement on Tariffs and Trade (GATT) is inaugurated. ** The Constitution of New Jersey (later subject to amendment) goes into effect. ** The railways of Britain are nationalized, to form British Railways. * January 4 – Burma gains its independence from the United Kingdom, becoming an independent republic, named the ''Union of Burma'', with Sao Shwe Thaik as its first President, and U Nu its first Prime Minister. * January 5 ** Warner Brothers shows the first color newsreel (''Tournament of Roses Parade'' and the ''Rose Bowl Game''). ** The first Kinsey Report, ''Sexual Behavior in the Human Male'', is published in the United States. * January 7 – Mantell UFO incident: Kentucky Air National Guard pilot Thomas Mantell crashes while in pursuit of an unidentified flying object. * January 12 – Mahatma Gandhi begins his fast-unto-death in Delhi, to stop communal violence during the Partition of India. * January 17 &nda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Computer Scientists
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Trier
The University of Trier (german: Universität Trier), in the German city of Trier, was founded in 1473. Closed in 1798 by order of the then French administration in Trier, the university was re-established in 1970 after a hiatus of some 172 years. The new university campus is located on top of the Tarforst heights, an urban district on the outskirts of the city. The university has six faculties with around 470 faculty members. In 2006 around 14,000 students were matriculated, with 43.5% of the student body male and 56.5% female; the percentage of foreign students was approximately 15.5%. History Historical university In 1455 Pope Nicholas V granted the Archbishop of Trier, , the right to establish a university. The University of Trier was founded March 16, 1473. Battling financial problems for decades, the university was acquired by the Jesuits in 1560. They emphasized the philosophical and theological faculties at the expense of medicine and law. In the 1580s Peter B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DB ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Newsome Crossley
John Newsome Crossley (born 28 September 1937, Yorkshire, England) is a British-Australian mathematician and logician who writes in the field of logic in computer science, history of mathematics and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia. As of 2010, Crossley is Emeritus Professor of Logic at Monash University, Australia, to which he has been connected since 1968. Biography Crossley was educated at Queen Elizabeth Grammar School, Wakefield, and then went up to St John's College, Oxford. He was a Harmsworth Senior Scholar at Merton College from 1960 to 1962, before taking up a one-year Junior Research Fellowship there; he received his DPhil and MA (Mathematics) in 1963. His early career was spent at Oxford where he was the first university lecturer in mathematical logic and was a Fellow of All Souls College, Oxford. He is still a Quondam Fellow there. He was offered a Readership position and following a lecturing v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Electronic Proceedings In Theoretical Computer Science
''Electronic Proceedings in Theoretical Computer Science'' is an international, peer-reviewed, open access series published by Open Publishing Association reporting research results in theoretical computer science, especially in the form of proceedings and post-proceedings of conferences and workshops, in the field of theoretical computer science. As of December 2009, the editor-in-chief of the series is Rob van Glabbeek. The series is indexed by the Digital Bibliography & Library Project DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ... (DBLP). References OA repository for refereed conference proceedings in CS Open Access News. May 1, 2009. at DBLP External links official website Computer science journals {{comp-sci-theory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Journal Of Software And Informatics
The ''International Journal of Software and Informatics'' is a quarterly peer-reviewed scientific journal of computer science. It was started by the Institute of Software of the Chinese Academy of Sciences. It covers the following topics: Artificial intelligence and pattern recognition, computer software, computer-aided applications, formal methods, multimedia techniques, theoretical computer science, network and information security, and related areas including quantum informatics, bioinformatics, neuroinformatics, and cognitive science. The journal's editor in chief is Ruqian Lu (Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China). See also * Scientific publishing in China Today in China, there are more than 8,000 academic journals, of which more than 4,600 can be considered scientific. About 1,400 cover health science (medicine and public health). In 2022, it was reported that China has become one of the top countr ... ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
