|
Bernhard Steffen (computer Scientist)
Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, to test-based modeling, and machine learning. After his PhD at the University of Kiel he spent two years as a research fellow at the LFCS (Edinburgh, Scotland) where he co-developed the Edinburgh Concurrency Workbench and authored one of the earliest papers on how to adequately model probabilistic processes, before joining the University of Aarhus in 1989 as a postdoc. From 1990 to 1992 he was associate professor at the RWTH Aachen, before he became full professor at the University of Passau. Since 1997 he holds the chair of programming systems at TU Dortmund University where he was Dean of Computer Science between 2002 and 2006 as well as a member of the Senate in 2006 and 2007. In Dortmund he developed the concep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kiel
Kiel () is the capital and most populous city in the northern Germany, German state of Schleswig-Holstein, with a population of 246,243 (2021). Kiel lies approximately north of Hamburg. Due to its geographic location in the southeast of the Jutland peninsula on the southwestern shore of the Baltic Sea, Kiel has become one of Germany's major maritime centres, known for a variety of international sailing events, including the annual Kiel Week, which is the biggest sailing event in the world. Kiel is also known for the Kiel mutiny, Kiel Mutiny, when sailors refused to board their vessels in protest against Germany's further participation in World War I, resulting in the abdication of the Wilhelm II, German Emperor, Kaiser and the formation of the Weimar Republic. The Olympic sailing competitions of the 1936 Summer Olympics, 1936 and the 1972 Summer Olympics#Venues, 1972 Summer Olympics were held in the Bay of Kiel. Kiel has also been one of the traditional homes of the German Nav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LNCS
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing'', published by the British Computer Society Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ... References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Kiel Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods People
Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to: Dress code and events * Formal wear, attire for formal events * Semi-formal attire, attire for semi-formal events * Informal attire, more controlled attire than casual but less than formal * Formal (university), official university dinner, ball or other event * School formal, official school dinner, ball or other event Logic and mathematics *Formal logic, or mathematical logic ** Informal logic, the complement, whose definition and scope is contentious *Formal fallacy, reasoning of invalid structure ** Informal fallacy, the complement *Informal mathematics, also called naïve mathematics *Formal cause, Aristotle's intrinsic, determining cause *Formal power series, a generalization of power series without requiring convergence, used in combinatorics *Formal calculation, a calculation which is systematic, but without a r ... [...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) * Germa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1958 Births
Events January * January 1 – The European Economic Community (EEC) comes into being. * January 3 – The West Indies Federation is formed. * January 4 ** Edmund Hillary's Commonwealth Trans-Antarctic Expedition completes the third overland journey to the South Pole, the first to use powered vehicles. ** Sputnik 1 (launched on October 4, 1957) falls to Earth from its orbit, and burns up. * January 13 – Battle of Edchera: The Moroccan Army of Liberation ambushes a Spanish patrol. * January 27 – A Soviet-American executive agreement on cultural, educational and scientific exchanges, also known as the "Lacy-Zarubin Agreement, Lacy–Zarubin Agreement", is signed in Washington, D.C. * January 31 – The first successful American satellite, Explorer 1, is launched into orbit. February * February 1 – Egypt and Syria unite, to form the United Arab Republic. * February 6 – Seven Manchester United F.C., Manchester United footballers are among the 21 people killed i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Journal On Software Tools For Technology Transfer
International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The Three Degrees album), 1975 *''International'', 2018 album by L'Algérino Songs * The Internationale, the left-wing anthem * "International" (Chase & Status song), 2014 * "International", by Adventures in Stereo from ''Monomania'', 2000 * "International", by Brass Construction from ''Renegades'', 1984 * "International", by Thomas Leer from ''The Scale of Ten'', 1985 * "International", by Kevin Michael from ''International'' (Kevin Michael album), 2011 * "International", by McGuinness Flint from ''McGuinness Flint'', 1970 * "International", by Orchestral Manoeuvres in the Dark from '' Dazzle Ships'', 1983 * "International (Serious)", by Estelle from '' All of Me'', 2012 Politics * Political international, any transnational organization of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation
International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The Three Degrees album), 1975 *''International'', 2018 album by L'Algérino Songs * The Internationale, the left-wing anthem * "International" (Chase & Status song), 2014 * "International", by Adventures in Stereo from ''Monomania'', 2000 * "International", by Brass Construction from ''Renegades'', 1984 * "International", by Thomas Leer from ''The Scale of Ten'', 1985 * "International", by Kevin Michael from ''International'' (Kevin Michael album), 2011 * "International", by McGuinness Flint from ''McGuinness Flint'', 1970 * "International", by Orchestral Manoeuvres in the Dark from '' Dazzle Ships'', 1983 * "International (Serious)", by Estelle from '' All of Me'', 2012 Politics * Political international, any transnational organization of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Joint Conferences On Theory And Practice Of Software
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and one ( ESOP) is top ranked in programming languages. Constituting conferences ETAPS currently confederates the following conferences: * European Symposium on Programming (ESOP, since 1998) * Foundations of Software Science and Computation Structures (FoSSaCS, since 1998) * Fundamental Approaches to Software Engineering (FASE, since 1998) * Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998) From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well. TACAS TACAS (Tools and Algorithms for the Construction and An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tools And Algorithms For The Construction And Analysis Of Systems
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering and one ( ESOP) is top ranked in programming languages. Constituting conferences ETAPS currently confederates the following conferences: * European Symposium on Programming (ESOP, since 1998) * Foundations of Software Science and Computation Structures (FoSSaCS, since 1998) * Fundamental Approaches to Software Engineering (FASE, since 1998) * Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998) From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well. TACAS TACAS (Tools and Algorithms for the Construction and An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Editorial Board
The editorial board is a group of experts, usually at a publication, who dictate the tone and direction the publication's editorial policy will take. Mass media At a newspaper, the editorial board usually consists of the editorial page editor, and editorial writers. Some newspapers include other personnel as well. Editorial boards for magazines may include experts in the subject area that the magazine focuses on, and larger magazines may have several editorial boards grouped by subject. An executive editorial board may oversee these subject boards, and usually includes the executive editor and representatives from the subject focus boards. Editorial boards meet on a regular basis to discuss the latest news and opinion trends and discuss what the newspaper should say on a range of issues. They will then decide who will write what editorials and for what day. When such an editorial appears in a newspaper, it is considered the institutional opinion of that newspaper. At some newspap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_-_09.JPG "Click for more on -> University Of Kiel Alumni")
.jpg "Click for more on -> 1958 Births")