ESCAMPIG consists of plenary invited general lectures and topical lectures poster sessions and workshops All contributed papers oral and poster will be refereed by the International Scientific Co...
The International Symposium on Symbolic and Algebraic Computation ISSAC is the premier conference for research in symbolic computation and computer algebra ISSAC 2020 will be the 45th meeting in th...
Under the auspices of FoLLI the European Summer School in Logic Language and Information ESSLLI is organized every year in a different European country It takes place over two weeks in the Europe...
Under the auspices of FoLLI the European Summer School in Logic Language and Information ESSLLI is organized every year in a different European country It takes place over two weeks in the Europe...
Inference problems play a pivotal role in modern computer science mathematics and statistics The guiding question in these problems is to determine the minimum number of queries that enable the infe...
KR2020 the 17th International Conference on Principles of Knowledge Representation and Reasoning to be held in Rhodes Greece on September 12 18 2020 The KR conference series is a leading forum fo...
Biomolecular computing has emerged as an interdisciplinary field that draws together molecular biology chemistry computer science and mathematics Our knowledge on DNA nanotechnology and biomolecula...
The German Conference on Bioinformatics GCB is an annual international conference devoted to all areas of bioinformatics and meant as a platform for the whole bioinformatics community Recent meeti...
The workshop addresses important areas of automata theory including the following three main topics Two person games played on finite graphs like parity games and Muller games Learning of language...