|
||
When: Mar 12, 2024 - Mar 14, 2024 Submission Deadline: Mar 11, 2024 | ||
Greetings! • Welcome to this workshop on research proposal writing! • Research funding is the lifeblood of academic advancement, powering the • engine of discovery and innovation. W... | ||
GRANT WRITING RESEARCH PROPOSAL TECHNICAL WRITING ARTIFICIAL INTELLIGENCE | ||
|
||
Submission Deadline: Mar 31, 2024 | ||
We are delighted to announce the inaugural Open Call for the Third-party Exchange Scheme (TES) within the framework of the European Commission-funded Horizon project ENFIELD: European Lighthouse to M... | ||
HORIZON EUROPE ARTIFICIAL INTELLIGENCE MOBILITY RESEARCHERS | ||
|
||
When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 10, 2024 | ||
34th International Symposium on Logic-Based Program Synthesis • and Transformation (LOPSTR 2024). • Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, • and TAP 2... | ||
PROGRAM TRANSFORMATION PROGRAM SYNTHESIS LOGIC BASED PROGRAM DEVELOP. PROGRAM AND MODEL MANIPULATION | ||
|
||
When: Mar 1, 2024 - Feb 4, 2024 Submission Deadline: Feb 2, 2024 | ||
The call for applications for the ESI Postdoctoral Program 2024/25 is now open. • The program is hosted by a consortium of 12 Universities on 4 continents (Online plus Research Visit at one of ... | ||
SOCIAL SCINCES DIGITAL TECHNOLOGY EDUCATION ALL HUMANITIES | ||
|
||
When: Nov 3, 2023 - Jan 10, 2024 Submission Deadline: Feb 2, 2024 | ||
*** apologies for crosss-postings *** • The Max Planck Institute for Demographic Research (MPIDR) is inviting applications from qualified and highly motivated students for a Summer Research Vis... | ||
DEMOGRAPHY DATA SCIENCE SOCIOLOGY SOCIAL SCIENCES | ||
|
||
When: Nov 3, 2023 - Nov 4, 2023 Submission Deadline: Sep 30, 2023 | ||
We are pleased to invite you to submit papers to the 14th • International Workshop on Program Semantics, Specification and Verification • (we've skipped number 13) • The submission ... | ||
PROGRAM SEMANTICS VERIFICATION MODEL CHECKING TYPE THEORY | ||
|
||
When: Jul 31, 2023 - Oct 20, 2023 Submission Deadline: Sep 30, 2023 | ||
Dear researchers and authors, • On the 105th anniversary of the end of World War I we want to publish "e-book" about the theme of the journalism history. The special title of subject is " A W... | ||
JOURNALISM PRESS HISTORY SOCIAL SCIENCES FIRST WORLD WAR | ||
|
||
When: Oct 1, 2023 - Sep 30, 2024 Submission Deadline: Sep 30, 2023 | ||
The call for applications for the ESI Postdoctoral Program 2023/24 is now open. • Start: 1st of October 2023 – 30th of September 2024. • Place: Online plus Research Visit at one of the ... | ||
INTERDISCIPLINARY SOCIAL SCIENCES COMPUTER SCIENCES ALL HUMANITIES | ||
|
||
When: Oct 9, 2023 - Oct 12, 2023 Submission Deadline: Jul 31, 2023 | ||
The ReSAISE 2023 workshop invites researchers and practitioners to present their research work on reliability and security of AI for software engineering. For a detailed list of topics of interest, p... | ||
ADVERSARIAL ATTACKS AND DEFENS PRIVACY-PRESERVING AI PROGRAM REPAIR AI CODING ASSISTANTS | ||
|
||
When: Sep 21, 2022 - Sep 23, 2022 Submission Deadline: May 9, 2022 | ||
====================================================================== • LOPSTR 2022: Fist Call for Papers • ====================================================================== •... | ||
PROGRAMMING LANGUAGES COMPUTER SCIENCE | ||
|
||
When: Jul 6, 2022 - Jul 6, 2022 Submission Deadline: May 4, 2022 | ||
***** CALL FOR PAPERS ***** • ======================================= • 13th International Workshop on Graph Computation Models (GCM 2022) • 6th July 2022 • Venue: Nantes, Fra... | ||
GRAPH TRANSFORMATION MODEL TRANSFORMATION GRAPH MACHINE LEARNING PROGRAM ANALYSIS | ||
SOAP 2022 : SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program AnalysisSan Diego, California, United States |
||
When: Jun 14, 2022 - Jun 14, 2022 Submission Deadline: Mar 8, 2022 | ||
SOAP 2022 aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis. • For SOAP 2022, we invite contributions ... | ||
PROLE 2022 : XXI Jornadas sobre Programación y LenguajesSantiago de Compostela (Spain) |
||
When: Sep 5, 2022 - Sep 7, 2022 Submission Deadline: May 15, 2022 | ||
PROLE 2022 • XXI Jornadas sobre Programación y Lenguajes • Santiago de Compostela (Spain), 5-7 de septiembre de 2022 • Parte de las Jornadas SISTEDES 2022 • https://sistedes2... | ||
PROGRAMMING LANGUAGES PROGRAMMING PARADIGMS PROGRAM SPECIFICATION PROGRAM ANALYSIS | ||
|
||
When: Oct 25, 2022 - Oct 28, 2022 Submission Deadline: May 15, 2022 | ||
-------------------------------------------- • CALL FOR PAPERS - ATVA 2022 • -------------------------------------------- • The 20th International Symposium on Automated Technology ... | ||
SOFTWARE VERIFICATION PROGRAM ANALYSIS HARDWARE VERIFICATION MACHINE LEARNING | ||
VPT 2022 : Verification and Program TransformationMünchen, Germany |
||
When: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Jan 17, 2022 | ||
The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. • There is a great potential for beneficial interactions betwe... | ||
FORMAL METHODS VERIFICATION TEST PROGRAM | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 13, 2022 | ||
Many Program Verification and Synthesis problems of interest can be modeled • directly using Horn clauses and many recent advances in the CLP and CAV • communities have centered around ef... | ||
PROGRAM VERIFICATION PROGRAM SYNTHESIS CONSTRAINED HORN CLAUSES | ||
Postdoctoral Program 2022 : Postdoctoral Program: Social Sciences and Humanities in a Post-Crisis PeriodSpain, Italy, Latvia or China |
||
Submission Deadline: Feb 13, 2022 | ||
• This program is designed to advance the academic and professional careers of Ph.D. holders through collaboration with experienced research advisers and participation in multidisciplinary and i... | ||
SOCIAL SCIENCES | ||
|
||
When: May 28, 2021 - May 29, 2021 Submission Deadline: Jan 29, 2021 | ||
The International Conference on Program Comprehension (ICPC) is the premier venue for work in the area of software program comprehension. It encompasses both human activities for comprehending the sof... | ||
PROGRAM COMPREHENSION | ||
|
||
When: Nov 03, 2020 - Nov 04, 2020 Submission Deadline: Sep 14, 2020 | ||
Program Committee solicites regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pag... | ||
FORMAL METHODS SEMANTICS | ||
|
||
When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 01, 2020 | ||
International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an intern... | ||
FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING PROGRAM ANALYSIS | ||
|
||
When: Dec 13, 2019 - Dec 14, 2019 Submission Deadline: Sep 16, 2019 | ||
CALL FOR PAPERS • Program Transformations for Machine Learning • Workshop at the 33rd Conference on Neural Information Processing Systems (NeurIPS) • December 13 or 14, 2019 • ... | ||
MACHINE LEARNING AUTOMATIC DIFFERENTIATION PROBABILISTIC PROGRAMMING PROGRAMMING LANGUAGES | ||
|
||
When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 18, 2019 | ||
TAPAS 2019 • http://staticanalysis.org/tapas2019/ • A satellite workshop of SAS 2019. Part of the FM Week. • Objectives • In recent years, a wide range of static analysis tools... | ||
SOFTWARE ENGINEERING SEMANTICS STATIC ANALYSIS TOOLS REUSABLE SOFTWARE INFRASTRUCTU | ||
|
||
When: Nov 5, 2019 - Nov 9, 2019 Submission Deadline: Jul 12, 2019 | ||
http://csse.szu.edu.cn/icfem2019/symposium.html • Background and Objectives • The ICFEM 2019 Doctoral Symposium is an international forum for PhD students working in all areas related to f... | ||
FORMAL METHODS PROGRAM ANALYSIS SOFTWARE ENGINEERING | ||
|
||
When: Oct 21, 2019 - Oct 22, 2019 Submission Deadline: Jun 28, 2019 | ||
EDIT: Deadlines extended by 1 week. • The ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences is a programming languages conference focusing on techniques an... | ||
GENERATIVE PROGRAMMING PROGRAM GENERATION DOMAIN-SPECIFIC LANGUAGES | ||
JPF 2019 : Java Pathfinder Workshop 2019San Diego, CA, USA |
||
When: Nov 11, 2019 - Nov 11, 2019 Submission Deadline: Aug 12, 2019 | ||
** Fast abstracts (presentation only) welcome until Sep 4 ** • Java Pathfinder is the annual workshop on technologies related to Java Pathfinder and similar program analysis tools and approaches... | ||
SOFTWARE ENGINEERING SOFTWARE MODEL CHECKING PROGRAM ANALYSIS SYMBOLIC EXECUTION | ||
|
||
When: Oct 17, 2019 - Oct 19, 2019 Submission Deadline: May 20, 2019 | ||
The American Society of Comparative Law's 2019 annual program, which will be held at the University of Missouri, seeks to delve more deeply into how comparative law operates formally and informally, v... | ||
COMPARATIVE LAW DISPUTE RESOLUTION LAW DISPUTES | ||
|
||
When: May 28, 2019 - May 28, 2019 Submission Deadline: Feb 1, 2019 | ||
We invite submissions of two types of paper: • Research papers: up to 8 pages long • Position papers: up to 2 pages long • via https://easychair.org/conferences/?conf=gi2019 • ... | ||
SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE AUTOMATIC PROGRAM REPAIR OPTIMISING SOFTWARE | ||
CPM 2018 : Certificate program on MicrofluidicsChennai, India |
||
When: Dec 18, 2018 - Dec 22, 2018 Submission Deadline: Dec 18, 2018 | ||
Microfluidics is becoming an emerging technology in medical diagnostics and various other fields. This certificate program focuses on bringing an awareness among young generation with intense lectures... | ||
|
||
When: Jan 24, 2019 - Jan 24, 2019 Submission Deadline: Jan 23, 2019 | ||
Date: Thursday January 24, 2019 • Time: 10:00 AM PST | 01:00 PM EST • Overview: • Being in compliance with HIPAA involves not only ensuring you provide the appropriate patient &bull... | ||
HIPAA COMPLIANCE PROGRAM 2019 HIPAA GUIDELINES HIPAA SECURITY STANDARDS HIPAA DATA SECURITY | ||
TSANN 2018 : Faculty Development Program on Time Series Analysis using Artificial Neural NetworksNITC,Kozhikode, Kerala, India |
||
When: Dec 10, 2018 - Dec 15, 2018 Submission Deadline: Nov 20, 2018 | ||
Topics to be covered in this FDP are the following: • Fundamental concepts of stochastic processes,Introduction to time series Analysis and Artificial Neural Networks, Modelling of stationary/no... | ||
TIME SERIES ANALYSIS ARTIFICIAL NEURAL NETWORKS FACULTY DEVELOPMENT PROGRAM ARTIFICIAL INTELLIGENCE | ||
Find and Compare Upcoming Program Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.