FCT, the International Symposia on Fundamentals of Computation Theory is a biennial series of conferences in the field of theoretical computer science. It was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, computational complexity, formal and logical methods. FCT was previously held at the following institutions.
year | institution | location |
---|---|---|
1977 | -- | Poznań, Poland |
1979 | -- | Wendisch Rietz, Germany |
1981 | University of Szeged | Szeged, Hungary |
1983 | -- | Borgholm, Sweden |
1985 | -- | Cottbus, Germany |
1987 | Kazan State University | Kazan, Russia |
1989 | University of Szeged | Szeged, Hungary |
1991 | -- | Gosen-Berlin, Germany |
1993 | University of Szeged | Szeged, Hungary |
1995 | Technische Universität Dresden | Dresden, Germany |
1997 | Jagiellonian University | Kraków, Poland |
1999 | Alexandru Ioan Cuza University | Iași, Romania |
2001 | University of Latvia | Riga, Latvia |
2003 | Malmö University | Malmö, Sweden |
2005 | University of Lübeck | Lübeck, Germany |
2007 | Hungarian Academy of Sciences | Budapest, Hungary |
2009 | University of Wrocław | Wrocław, Poland |
2011 | University of Oslo [1] [2] | Oslo, Norway |
2013 | Liverpool University [3] | Liverpool, UK |
2015 | Gdańsk University of Technology | Gdańsk, Poland [4] |
2017 | University of Bordeaux | Bordeaux, France [5] |
2019 | University of Copenhagen | Copenhagen, Denmark [6] |
2021 | National Technical University of Athens | Athens, Greece [7] |
Computer science is the study of algorithmic processes, computational machines and computation itself. As a discipline, computer science spans a range of topics from theoretical studies of algorithms, computation and information to the practical issues of implementing computational systems in hardware and software.
Theoretical computer science (TCS) is a subset of general computer science that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
Shlomi Dolev is a Rita Altura Trust Chair Professor in Computer Science at Ben-Gurion University of the Negev (BGU) and the head of the BGU Negev Hi-Tech Faculty Startup Accelerator.
Gregory Dudek is a chaired professor of computer science at McGill University, was the Director of the McGill Center for Intelligent Machines from 2004 to 2007, and was the Director of the McGill University School of Computer Science from 2008 to 2016 [][]. He served as the Scientific Director of the NSERC Canadian Field Robotics Network from 2012 to 2018 []. He became Scientific Director and Lead Investigatior or it ssuccessor the NSERC Canadian Robotics Network. In 2018, Samsung announced that he would become a VP Research and Lead their new Samsung AI Center in Montreal (SAIC-Montreal) []. Th is the son of poet Louis Dudek, he was made a Dawson Scholar of that university and subsequently James McGill Chair (∈), and directs the mobile robotics laboratory there. He has written over 300 refereed articles on computer vision and robotics, and is co-author of the book Computational Principles of Mobile Robotics which is used to teach robotics at a number of universities [1].
A bigraph can be modelled as the superposition of a graph and a set of trees.
Game Description Language, or GDL, is a logic programming language designed by Michael Genesereth as part of the General Game Playing Project at Stanford University, California. GDL describes the state of a game as a series of facts, and the game mechanics as logical rules. GDL is hereby one of alternative representations for game theoretic problems.
The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012.
Informatics is the study of computational systems, especially those for data storage and retrieval. According to ACM Europe andInformatics Europe informatics is synonym for computer science and computing as a profession, in which the central notion is transformation of information. In other countries, the term "informatics" is used in the context of library science where it has a different meaning.
WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic.
CICLing is an annual conference on computational linguistics (CL) and natural language processing (NLP). The first CICLing conference was held in 2000 in Mexico City. The conference is attended by one to two hundred of NLP and CL researchers and students every year. As of 2017, it is ranked within top 20 sources on computational linguistics by Google Scholar. Past CICLing conferences have been held in Mexico, Korea, Israel, Romania, Japan, India, Greece, Nepal, Egypt, Turkey, Hungary, and Vietnam; the 2019 event was held in France.
Richard Ryan Williams, known as Ryan Williams, is an American computer scientist working in computational complexity theory.
Bernhard Karl Thalheim is a German computer scientist and Professor of Information Systems Engineering at the University of Kiel who is known for conceptual modeling and its theoretical foundational contributions.
Noam Nisan is an Israeli computer scientist, a professor of computer science at the Hebrew University of Jerusalem. He is known for his research in computational complexity theory and algorithmic game theory.
The International Conference on Theory and Applications of Models of Computation (TAMC) is an academic conference in the field of theoretical computer science. TAMC has been organized annually since 2004. Previous editors of the TAMC conference proceedings include Manindra Agrawal and Petr Kolman. The conference proceedings are published in the Lecture Notes in Computer Science (LNCS) series by Springer.
Amit Sahai is an American computer scientist. He is a professor of computer science at UCLA and the director of the Center for Encrypted Functionalities.
The Computational Complexity Conference (CCC), is an academic conference in the field of theoretical computer science whose roots date to 1986. It fosters research in computational complexity theory, and is typically held annually between mid-May and mid-July in North America or Europe. As of 2015, CCC is organized independently by the Computational Complexity Foundation (CCF).
Atish Dabholkar is an Indian theoretical physicist. He is currently the Director of the Abdus Salam International Centre for Theoretical Physics (ICTP) with the rank of Assistant Director-General, UNESCO. Prior to that, he was head of ICTP's High Energy, Cosmology and Astroparticle Physics section, and also Directeur de Recherche at the Centre National de la Recherche Scientifique (CNRS) at Sorbonne University in the "Laboratoire de Physique Théorique et Hautes Énergies" (LPTHE).
EvoStar, or Evo*, is an international scientific event devoted to evolutionary computation held in Europe. Its structure has evolved over time and it currently comprises four conferences: EuroGP the annual conference on Genetic Programming, EvoApplications, the International Conference on the Applications of Evolutionary Computation, EvoCOP, European Conference on Evolutionary Computation in Combinatorial Optimisation, and EvoMUSART, the International Conference on Computational Intelligence in Music, Sound, Art and Design. According to a 2016 study EvoApplications is a Q1 conference, while EuroGP and EvoCOP are both Q2.
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.