FM 2021 : Formal Methods 2021Beijing, China |
||
When: Nov 20, 2021 - Nov 26, 2021 Submission Deadline: Apr 30, 2021 | ||
FM 2021 is the 24th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for s... | ||
SOFTWARE SYSTEMS ENGINEERING | ||
|
||
When: Mar 23, 2021 - Mar 26, 2021 Submission Deadline: Nov 10, 2020 | ||
As cyber-attacks against critical infrastructure increase and evolve, automated systems to complement human analysis are needed. Moreover, chasing the breaches is like looking for a needle in a haysta... | ||
MACHINE LEARNING BIG DATA CYBERSECURITY | ||
IDA 2021 : 19th Symposium on Intelligent Data AnalysisPorto, Portugal |
||
When: Apr 26, 2021 - Apr 28, 2021 Submission Deadline: Nov 27, 2020 | ||
Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA's mission is to promote ideas over performance: a solid motivation can be as convincing as exhaus... | ||
DATA ANALYSIS ARTIFICIAL INTELLIGENCE | ||
|
||
When: May 14, 2021 - May 16, 2021 Submission Deadline: Nov 15, 2020 | ||
5th International Symposium on Aviation and Aerospace System Engineering (SAASE 2021) will be held in Beijing, China, from 14 to 16 May, 2021, which is in conjunction with the 5th International Confer... | ||
AEROSPACE COMPUTER ENGINEERING CONTROL COMMUNICATIONS | ||
|
||
When: Nov 07, 2020 - Nov 10, 2020 Submission Deadline: Jul 31, 2020 | ||
SBGames (Brazilian Symposium on Computer Games and Digital Entertainment) is the largest and most important event for games and digital entertainment in Latin America. Realized by the SBC, the ev... | ||
GAMES ARTIFICIAL INTELLIGENCE COMPUTER GRAPHICS STORYTELLING | ||
SBMF 2020 : 23rd Brazilian Symposium on Formal MethodsOuro Preto / Brazil |
||
When: Nov 25, 2020 - Nov 27, 2020 Submission Deadline: Jul 17, 2020 | ||
The 23rd SBMF is the 2020 edition of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a wel... | ||
FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING | ||
|
||
When: Nov 18, 2020 - Nov 20, 2020 Submission Deadline: Jul 31, 2020 | ||
iSAI-NLP 2020 aims to facilitate technology and knowledge exchange international researchers/scholars in the field of artificial intelligence and natural language processing. The iSAI-NLP 2020 wi... | ||
NATURAL LANGUAGE PROCESSING DATA ANALYTICS INTERNET OF THINGS | ||
|
||
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 30, 2020 | ||
Following the success of past CANDAR symposiums 2013 in Matsuyama, 2014 in Shizuoka, 2015 in Sapporo, 2016 in Hiroshima, 2017 in Aomori, 2018 in Takayama, 2019 in Na... | ||
PARALLEL COMPUTING NETWORKING COMPUTER ARCHITECTURE ARTIFICIAL INTELLIGENCE | ||
|
||
When: Nov 18, 2020 - Nov 20, 2020 Submission Deadline: Aug 03, 2020 | ||
The Symposium is a prestigious international forum for researchers and practitioners in the design and development of fault-tolerant distributed systems with self-* properties, such as self-stabilizin... | ||
DISTRIBUTED COMPUTING DISTRIBUTED SYSTEM SECURITY | ||
|
||
When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 17, 2020 | ||
The IFIP Performance conference aims to bring together researchers interested in understanding and improving the performance of computing and communication systems by means of state-of-the-a... | ||
COMPUTING COMMUNICATION MODELING SIMULATION | ||
|
||
When: Nov 06, 2020 - Nov 08, 2020 Submission Deadline: May 20, 2020 | ||
European Symposium on Software Engineering covers a broad spectrum of software-related topics. The conference covers fundamentals on designing, implementing, testing, validating and maintaining variou... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE CLOUD COMPUTING | ||
|
||
When: Nov 01, 2020 - Nov 04, 2020 Submission Deadline: Jun 29, 2020 | ||
The ACM Symposium on Virtual Reality Software and Technology (VRST) is an international forum for the exchange of experience and knowledge among researchers and developers concerned with VR/... | ||
VIRTUAL REALITY | ||
|
||
When: Nov 01, 2020 - Nov 01, 2020 Submission Deadline: Aug 01, 2020 | ||
The 6th Asian Undergraduate Research Symposium (AURS2020) will be held in Tokyo, Japan on Sunday the 1st of November. This one day event is held in English and is aimed at final year undergraduate stu... | ||
COMPUTER SCIENCE EDUCATION ENGINEERING NETWORKING | ||
|
||
When: Nov 11, 2020 - Nov 13, 2020 Submission Deadline: May 29, 2020 | ||
The Fifth ACM/IEEE Symposium on Edge Computing (SEC) seeks to present exciting, innovative research related to the design, implementation, analysis, evaluation, and deployment of computer systems and ... | ||
EDGE COMPUTING FOG COMPUTING DISTRIBUTED SYSTEMS | ||
SVR 2020 : 22nd Symposium on Virtual and Augmented RealityPorto de Galinhas, Brazil |
||
When: Nov 07, 2020 - Nov 10, 2020 Submission Deadline: Jun 17, 2020 | ||
The Symposium on Virtual and Augmented Reality (SVR) is the premier conference on VR/AR on Brazil. In 2020, SVR will be held between November 7 and 10 at Hotel Armação, in the ... | ||
VIRTUAL REALITY AUGMENTED REALITY HUMAN-COMPUTER INTERACTION COMPUTER VISION | ||
|
||
When: Nov 30, 2020 - Dec 01, 2020 Submission Deadline: Jun 22, 2020 | ||
Artificial intelligence has undergone enormous developments in recent years and is rapidly finding its way into medicine. AI is becoming relevant for all areas, from prevention to diagnostics and ther... | ||
ARTIFICIAL INTELLIGENCE HEALTH | ||
|
||
When: Nov 16, 2020 - Nov 19, 2020 Submission Deadline: Apr 09, 2020 | ||
... | ||
ALGORITHMS THEORY COMPLEXITY | ||
|
||
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 04, 2020 | ||
The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of So... | ||
FORMAL METHODS EMBEDDED SYSTEMS SOFTWARE ENGINEERING SAFETY | ||
SAS 2020 : Static Analysis SymposiumChicago, Illinois, United States |
||
When: Nov 18, 2020 - Nov 20, 2020 Submission Deadline: Apr 24, 2020 | ||
Welcome to the 27th Static Analysis Symposium (SAS 2020)! Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understa... | ||
VERIFICATION ABSTRACT INTERPRETATION AUTOMATED DEDUCTION SECURITY | ||
|
||
When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 12, 2020 | ||
The 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI '20) will take place November 4–6, 2020, at the Fairmont Banff Springs in Banff, Alberta, Canada... | ||
SOFTWARE ENGINEERING PROGRAMMING COMPUTER SCIENCE | ||
FSE 2020 : ACM SIGSOFT International Symposium on Foundations of Software EngineeringSacramento, California, United States |
||
When: Nov 08, 2020 - Nov 13, 2020 Submission Deadline: Mar 05, 2020 | ||
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educ... | ||
COMPUTER SCIENCE SOFTWARE ENGINEERING PROGRAMMING | ||
ISCA 2020 : International Symposium on Computer ArchitectureValencia, Spain |
||
When: May 30, 2020 - Jun 03, 2020 Submission Deadline: Nov 26, 2019 | ||
The International Symposium on Computer Architecture is the premier forum for new ideas and experimental results in computer architecture. The conference specifically seeks particularly forward-lookin... | ||
HARDWARE ROBOTICS ELECTRONICS | ||
STOC 2020 : ACM Symposium on Theory of ComputingChicago, United States |
||
When: Jun 22, 2020 - Jun 26, 2020 Submission Deadline: Nov 04, 2019 | ||
The 52nd ACM Symposium on Theory of Computing (STOC 2020) is sponsored by the ACM Special Interest Group on Algorithms and Computation Theory and will be held at the Drake Hotel in Chicago, ... | ||
THEORY OF COMPUTING COMPUTER SCIENCE | ||
|
||
When: Nov 16, 2020 - Nov 19, 2020 Submission Deadline: Jun 05, 2020 | ||
The IEEE LCN conference is the premier conference on theoretical and practical aspects of computer networking. LCN is highly interactive, enabling an effective interchange of results and ideas among r... | ||
NETWORK | ||
|
||
When: Nov 11, 2020 - Nov 13, 2020 Submission Deadline: Jun 12, 2020 | ||
• The International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making (IUKM) aims to provide a forum for exchanges of research results, ideas for and experience of... | ||
UNCERTAINTY MODELLING INFORMATION FUSION COMPUTATIONAL INTELLIGENCE UNCERTAINTY | ||
LADC 2020 : 10th Latin-American Symposium on Dependable ComputingFlorianópolis, Brazil |
||
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Aug 02, 2020 | ||
The Latin-American Symposium on Dependable Computing (LADC) is the major event on computer system dependability in Latin-America. LADC'2020 will feature technical sessions, wor... | ||
DEPENDABLE COMPUTING CRITICAL SYSTEMS REAL-TIME SYSTEMS | ||
SBESC 2020 : X Brazilian Symposium on Computing Systems EngineeringFlorianópolis, Brazil |
||
When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Aug 02, 2020 | ||
The Brazilian Symposium on Computing Systems Engineering (SBESC) is an initiative of the research community originally associated with the Real-Time Systems Workshop (WTR, since 19... | ||
EMBEDDED SYSTEMS OPERATING SYSTEMS REAL-TIME SYSTEMS | ||
|
||
When: Nov 09, 2020 - Nov 12, 2020 Submission Deadline: Jun 28, 2020 | ||
The aim of the 18th edition of the International Conference on Service Oriented Computing (ICSOC 2020) is to provide an International forum for researchers, professionals, and industrial practiti... | ||
PHD SYMPOSIUM SERVICE ORIENTED COMPUTING DISTRIBUTED COMPUTING WEB APPLICATIONS | ||
|
||
When: Nov 22, 2019 - Nov 22, 2019 Submission Deadline: Sep 16, 2019 | ||
Natural language, dialog and speech (NDS) researchers focus on communication between people and computers using human languages both in written and spoken forms. They develop models for analyzing the ... | ||
NLP DIALOG SPEECH | ||
|
||
When: May 22, 2020 - May 24, 2020 Submission Deadline: Nov 20, 2019 | ||
• 2020 Information Technology & Applications Symposium (ITAS 2020)--EI Compendex, Scopus • Xi'an, China | May 22 - 24, 2020 • More details, please visit: http://itas.org/ • ITA... | ||
INFORMATION MANAGEMENT INFORMATION SCIENCE CLOUD COMPUTING BIG DATA | ||
Find and Compare Upcoming Symposiums in November. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.