International Symposium on Fundamentals of Computation Theory

Last updated

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, particularly algorithms, computational complexity, and formal and logical methods. FCT was previously held at the following institutions.

Contents

yearinstitutionlocation
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]
2023 Trier University Trier, Germany [8]

See also

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of computation

Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.

Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.

<span class="mw-page-title-main">Shlomi Dolev</span>

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.

ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.

A bigraph can be modelled as the superposition of a graph and a set of trees.

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.

The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In some cases, the term "informatics" may also be used with different meanings, e.g. in the context of social computing, or in context of library science.

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 the 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.

<span class="mw-page-title-main">Ryan Williams (computer scientist)</span> Computer scientist

Richard Ryan Williams, known as Ryan Williams, is an American theoretical computer scientist working in computational complexity theory and algorithms.

<span class="mw-page-title-main">Bernhard Thalheim</span> German computer scientist (born 1952)

Bernhard Karl Thalheim is a German computer scientist and professor of information systems engineering at the University of Kiel in Kiel, Germany. He is known for his work on conceptual modeling and its theoretical foundational contributions.

RP, the International Conference on Reachability Problems is an annual academic conference in the field of computer science.

<span class="mw-page-title-main">Amit Sahai</span> American cryptographer (born 1974)

Amit Sahai is an Indian-American computer scientist. He is a professor of computer science at UCLA and the director of the Center for Encrypted Functionalities.

<span class="mw-page-title-main">Jorge Urrutia Galicia</span>

Jorge Urrutia Galicia is a Mexican mathematician and computer scientist in the Institute of Mathematics of the National Autonomous University of Mexico (UNAM). His research primarily concerns discrete and computational geometry.

<span class="mw-page-title-main">Atish Dabholkar</span> Indian theoretical physicist

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).

<span class="mw-page-title-main">EvoStar</span> International evolutionary computation event

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. In 2021, EuroGP, EvoApplications and EvoCOP obtained a CORE rank B.

<span class="mw-page-title-main">Yael Tauman Kalai</span> Cryptographer and theoretical computer scientist

Yael Tauman Kalai is a cryptographer and theoretical computer scientist who works as a Senior Principal Researcher at Microsoft Research New England and as an adjunct professor at MIT in the Computer Science and Artificial Intelligence Lab.

Deepak Kapur is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.

References

  1. FCT 2011 page at University of Oslo
  2. Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22–25, 2011: Proceedings. Springer Lecture Notes in Computer Science (LNCS) 6914 (2011), ISBN   978-3-642-22952-7 (print), ISBN   978-3-642-22953-4 (online)
  3. FCT 2013 web page at Liverpool University (retrieved 2013-07-11)
  4. FCT 2015 web page (retrieved 2014-10-22)
  5. FCT 2017 web page (retrieved 2016-09-27)
  6. FCT 2019 web page (retrieved 2017-10-09)
  7. FCT 2021 web page (retrieved 2018-06-14)
  8. FCT 2023 web page (retrieved 2023-09-25)