?
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020
Editor-in-chief: L. Zhang, N. Kobayashi
This volume contains the proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). The symposium has originally been planned to be held in Beijing (China), and then moved to Saarbrücken (Germany). Due to the pandemic, the symposium was held online, in co-location with ICALP 2020, in the period July 8-11, being organized by Saarland Informatics Campus.
Chistikov D., Mikhail Vyalyi, , in : LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Saarbrücken, Germany. July, 2020. : Association for Computing Machinery (ACM), 2020. P. 312-326.
Added: September 4, 2020
Switzerland : Springer, 2020
This book comprises high-quality, refereed research papers presented at the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2019): The symposium, held in Moscow, Russia, on 4–6 October 2019, was organized jointly by Moscow State Technical University and the International Research Association of Modern Education and Computer Science. The book discusses the ...
Added: March 15, 2020
М., Протвино : Институт физико-технической информатики, 2016
Труды Международной научной конференции Московского физико-технического института (государственного университета)и Института физико-технической информатики. ISBN 978-5-88835-039-3 ...
Added: May 11, 2016
Springer, 2018
Added: April 11, 2018
Springer International Publishing, 2020
Added: October 22, 2019
Chennai : AIRCC Publishing Corporation, 2018
The 11th International Conference on Security and its Applications (CNSA 2018) was held in Zurich, Switzerland, during January 02~03, 2018. The 5th International Conference on Data Mining and Database (DMDB 2018) and The 5th International Conference on Artificial Intelligence and Applications (AIAP 2018) was collocated with The 11th International Conference on Security and its Applications ...
Added: January 10, 2018
NY : IEEE, 2019
The Conference on Games (CoG) evolves from the traditional Computational Intelligence and Games (CIG) to bring together leading researchers and practitioners from academia and industry in the field of Games, to discuss recent advances and explore future directions. Games offer a fantastic domain for computational creativity, game design, technology, education, social sciences and, undoubtedly, artificial ...
Added: July 30, 2019
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020
Added: November 23, 2020
Switzerland : Springer, 2019
Data management and analysis is one of the fastest growing and most challenging areas of research and development in both academia and industry. Numerous types of applications and services have been studied and re-examined in this field resulting in this edited volume which includes chapters on effective approaches for dealing with the inherent complexity within ...
Added: December 29, 2019
NY : ACM, 2014
This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve ...
Added: October 20, 2014
Los Alamitos : IEEE Computer Society, 2020
Added: June 9, 2021
Springer, 2016
The Second Russian Supercomputing Days Conference (RuSCDays 2016) was held
during September 26–27, 2016, in Moscow, Russia. It was organized by the Supercomputing
Consortium of Russian Universities and the Federal Agency for Scientific
Organizations. The conference was supported by the Russian Foundation for Basic
Research and our respected platinum sponsors (T-Platforms, RSC, Intel, NVIDIA),
gold sponsors (IBM, Mellanox, Dell EMC, ...
Added: November 21, 2016
Proceedings of 2nd International Conference on Computer Applications & Information Security (ICCAIS)
NY : IEEE, 2019
The 2nd International Conference on Computer Applications & Information Security (ICCAIS’ 2019) is inviting authors to submit original contributions in the event research area. ICCAIS’ 2019 is a selective single-track conference, covering all aspects of Networking and Information Security, Computer Applications, Electrical Engineering & Computer Science, Network Management, Network Function Virtualization, Software Defined Networks, Network ...
Added: July 29, 2019
Springer, 2020
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020.
The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including ...
Added: September 4, 2020
CEUR-WS, 2018
DAMDID/RCDL conference is formed as a result of transformation of the Russian Conference on Digital Libraries with an intention to create a forum reflecting the urgent challenges of data organization, exploration and analysis in various data intensive domains. The transformation is planned so that the continuity with RCDL should be preserved by the transformed conference as well ...
Added: October 31, 2019
Springer, 2021
This book constitutes the proceedings of the 16th International Conference on Formal Concept Analysis, ICFCA 2021, held in Strasbourg, France, in June/July 2021.
The 14 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains four invited contributions in full paper length.
The research part ...
Added: July 10, 2021
Los Alamitos : IEEE, 2015
HISTELCON 2015 was the 4th in its series, after HISTELCON 2008 in Paris, HISTELCON 2010 in Madrid, and HISTELCON 2012 in Pavia). HISTELCON is a pioneering effort by IEEE Region 8 to bring together engineers with historians of engineering to discuss subjects of mutual interest. ...
Added: March 15, 2016
Samos Island : University of Aegean, 2015
The Panhellenic Logic Symposium of 2015 (the tenth PLS) is taking place at the University of the Aegean, on the island of Samos. It is including talks and mini-courses by eight invited well known scientists from around the world. The number of papers submitted to the conference was 42, of which 23 were chosen for ...
Added: September 19, 2015
Springer, 2022
“Data Analytics and Management in Data Intensive Domains” conference (DAMDID) is planned as a multidisciplinary forum of researchers and practitioners from various domains of science and research promoting cooperation and exchange of ideas in the area of data analysis and management in data intensive domains. Approaches to data analysis and management being developed in specific data intensive domains of X-informatics (such as X = astro, bio, chemo, geo, medicine, neuro, physics, ...
Added: August 30, 2021
NY : ACM, 2014
This volume contains the proceedings of the Joint Meeting of the Twenty-Third Annual EACSL Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/ IEEE Symposium on Logic in Computer Science (LICS). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve ...
Added: March 24, 2015
Сумы : СумДу, 2016
Сумской государственный университет: Апрель 18, 2016 – Апрель 22, 2016.
Факультет ЭлИТ. Конференция "Информатика, Математика, Автоматика" проводится на базе Сумского государственного университета. Конференция зарегистрирована у УкрЦНТЭИ как межвузовская. ...
Added: June 11, 2016
Kham T., Социальные и гуманитарные науки: теория и практика 2019 № 1(3) С. 167-183
The article examines the problems of defining the term computer simulations of scientific experiments. The first part analyzes the original method for classifying variations of terms proposed by Duran as the most successful for demonstrating significant existing contradictions among philosophers regarding the place and role of computer simulations in the philosophy of science. In the ...
Added: December 11, 2019
Lansing : ThinkMind, 2019
The Eleventh International Conference on Advances in Multimedia (MMEDIA 2019), held between March 24, 2019 and March 28, 2019 in Valencia, Spain, continued a series of events presenting recent research results on advances in multimedia, mobile and ubiquitous multimedia and to bring together experts from both academia and industry for the exchange of ideas and ...
Added: July 29, 2019
Springer, 2020
Modern cybernetics and computer engineering papers and topics are presented in
the proceedings. This proceedings is a Vol. 3 of the Computer Science On-line
Conference proceedings. Papers in this part discuss modern cybernetics and applied
informatics in technical systems.
This book constitutes the refereed proceedings of the Applied Informatics and
Cybernetics in Intelligent Systems section of the 9th Computer Science ...
Added: August 25, 2020
CEUR Workshop Proceedings, 2021
The XXIII International Conference on "Enterprise Engineering and Knowledge management" (EEKM-2020) took place from 8 to 9 December 2020 in the Plekhanov Russian University of Economics (Moscow). By tradition, EEKM conference is planned as a multidisciplinary forum of researchers and practitioners from various domains, promoting cooperation and exchange of ideas in different areas. The objectives ...
Added: November 17, 2020