|
Manfred Broy
Manfred Broy (born 10 August 1949, Landsberg am Lech) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Biography Broy gained his Doctor of Philosophy (Ph.D.) in 1980 at the chair of Friedrich L. Bauer on the subject of transformation of programs running in parallel ''(Transformation parallel ablaufender Programme)''. In 1983, he founded the faculty of mathematics and computer science at the University of Passau, which dean he was until 1986. In 1989, he went to the Technical University of Munich (TUM), where in 1992, he became the founding dean of the informatics faculty, which until then was an institute within the faculty of mathematics and informatics. Since then he has been teaching at the Technical University of Munich. In 2004, he was elected as a fellow of the Gesellschaft für Informatik and in 2007, he won the Konrad Zuse Medal. He is also editor of the International ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Landsberg Am Lech
Landsberg am Lech (Landsberg at the Lech (river), Lech) is a Town#Germany, town in southwest Bavaria, Germany, about 65 kilometers west of Munich and 35 kilometers south of Augsburg. It is the capital of the district of Landsberg (district), Landsberg am Lech. Overview Landsberg is situated on the Romantic Road and is the center of the Lechrain region, the boundary region between Swabia and Bavaria. It is noted for its picturesque historic center. Landsberg am Lech developed where a major historic salt road crossed over the Lech. To protect the bridge, Duke Henry the Lion ordered a castle to be built, ''Castrum Landespurch'', incorporating an older settlement and castle named ''Phetine''. Soon a greater settlement evolved, which received its town charter as early as the 13th century. In 1315, the town burned down, but was rebuilt because of its important location. In 1320, Landsberg was permitted to collect salt duties, bringing considerable wealth to the town. In 1419, a rive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Summer School Marktoberdorf
The International Summer School Marktoberdorf is an annual two-week summer school for international computer science and mathematics postgraduate students and other young researchers, held annually since 1970 in Marktoberdorf, near Munich in southern Germany. Students are accommodated in the boarding house of a local high school, Gymnasium Marktoberdorf. Proceedings are published when appropriate. Status This is a summer school for theoretical computer science researchers, with some directors/co-directors who are Turing Award winners (the nearest equivalent to the Nobel Prize in computer science). The summer school is supported as an Advanced Study Institute of the NATO Science for Peace and Security Program. It is administered by the Faculty of Informatics at the Technical University of Munich. Directors Past academic directors and co-directors include: * Manfred Broy * Robert Lee Constable * Javier Esparza * Orna Grumberg * David Harel *Tony Hoare* * Orna Kupferman *Tobi ... [...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 wi ... [...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), "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 (disambi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of The Technical 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, dev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technical University Of Munich Alumni
Technical may refer to: * Technical (vehicle), an improvised fighting vehicle * Technical analysis, a discipline for forecasting the future direction of prices through the study of past market data * Technical drawing, showing how something is constructed or functions (also known as drafting) * Technical file, set of technical drawings * Technical death metal, a subgenre of death metal that focuses on complex rhythms, riffs, and song structures * Technical foul, an infraction of the rules in basketball usually concerning unsportsmanlike non-contact behavior * Technical rehearsal for a performance, often simply referred to as a technical * Technical support, a range of services providing assistance with technology products * Vocational education Vocational education is education that prepares people to work as a technician or to take up employment in a skilled craft or trade as a tradesperson or artisan. Vocational Education can also be seen as that type of educati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
People From Landsberg Am Lech
A person ( : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its use as a plural form of ... [...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] |
1949 Births
Events January * January 1 – A United Nations-sponsored ceasefire brings an end to the Indo-Pakistani War of 1947. The war results in a stalemate and the division of Kashmir, which still continues as of 2022. * January 2 – Luis Muñoz Marín becomes the first democratically elected Governor of Puerto Rico. * January 11 – The first "networked" television broadcasts take place, as KDKA-TV in Pittsburgh, Pennsylvania goes on the air, connecting east coast and mid-west programming in the United States. * January 16 – Şemsettin Günaltay forms the new government of Turkey. It is the 18th government, last single party government of the Republican People's Party. * January 17 – The first VW Type 1 to arrive in the United States, a 1948 model, is brought to New York by Dutch businessman Ben Pon. Unable to interest dealers or importers in the Volkswagen, Pon sells the sample car to pay his travel expenses. Only two 1949 models are sold i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marktoberdorf
Marktoberdorf () is the capital of the Bavarian district of Ostallgäu in the ''Regierungsbezirk'' of Swabia. Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is Kaufbeuren, eleven kilometers away. Marktoberdorf plays host to the International Chamber Choir Competition Marktoberdorf every two years. In computer science, it is known for its hosting of the annual International Summer School Marktoberdorf every year since 1970. This Advanced Study Institute of the NATO Security Through Science Committee (now NATO Science for Peace) and the computer science department of the Technische Universität München is a two-week course for young computer scientists and mathematicians working in the field of formal systems development. Students are accommodated in the boarding house of the local high school, Gymnasium Marktoberdorf. Marktoberdorf is home to the tractor manufacturer Fendt, where its foun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
San Diego
San Diego ( , ; ) is a city on the Pacific Ocean coast of Southern California located immediately adjacent to the Mexico–United States border. With a 2020 population of 1,386,932, it is the eighth most populous city in the United States and the seat of San Diego County, the fifth most populous county in the United States, with 3,338,330 estimated residents as of 2019. The city is known for its mild year-round climate, natural deep-water harbor, extensive beaches and parks, long association with the United States Navy, and recent emergence as a healthcare and biotechnology development center. San Diego is the second largest city in the state of California, after Los Angeles. Historically home to the Kumeyaay people, San Diego is frequently referred to as the "Birthplace of California", as it was the first site visited and settled by Europeans on what is now the U.S. west coast. Upon landing in San Diego Bay in 1542, Juan Rodríguez Cabrillo claimed the area for S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''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 ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Spring ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_1938.jpg "Click for more on -> People From Landsberg Am Lech")
.jpg "Click for more on -> San Diego")