 |
||
| When: Aug 21, 2024 - Aug 24, 2024 Submission Deadline: Mar 15, 2024 | ||
| Call for Papers: SAT 2024 • ========================== • SAT 2024 is the 27th edition of the International Conference on Theory and Applications of Satisfiability Testing (SAT). The scope... | ||
| FORMAL METHOD LOGIC SATISFIABILITY CONSTRAINT PROGRAMMING | ||
 |
||
| When: Nov 12, 2023 - Nov 12, 2023 Submission Deadline: Aug 4, 2023 | ||
| D-HPC'23: The First International Workshop on Democratizing High-Performance Computing • held in conjunction with SC23, The International Conference on High-Performance Computing, Networking, S... | ||
| HIGH PEFORMANCE COMPUTING PERFORMANCE ANALYSIS PARALLEL PROGRAMMING SCIENTIFIC COMPUTING | ||
 |
||
| When: Oct 22, 2023 - Oct 27, 2023 Submission Deadline: Aug 2, 2023 | ||
| *** The abstract and paper submission deadlines have been extended *** • The new deadlines are: • 2023-07-23: Abstract and submission deadline (research and experience papers) • 202... | ||
| VIRTUAL MACHINES PROGRAMMING LANGUAGES LANGUAGE IMPLEMENTATIONS COMPILERS | ||
 |
||
| When: Oct 23, 2023 - Oct 23, 2023 Submission Deadline: Aug 4, 2023 | ||
| CALL FOR PAPERS • 12th Workshop on Programming Languages and Operating Systems • (PLOS 2023) • October 23, 2023 • Koblenz, Germany • https://plos-workshop.org/2023/ &bu... | ||
| OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
DNA 2022 : 28th International Conference on DNA Computing and Molecular ProgrammingAlbuquerque, NM, USA |
||
| When: Aug 8, 2022 - Aug 12, 2022 Submission Deadline: Apr 24, 2022 | ||
| Scope • Research in DNA computing and molecular programming draws together mathematics, computer science, physics, chemistry, biology, and nanotechnology to address the analysis, design, and sy... | ||
| ALGORITHMS MOLECULAR COMPUTATION SELF-ASSEMBLY DNA | ||
|
|
||
| When: Aug 29, 2022 - Sep 1, 2022 Submission Deadline: May 16, 2022 | ||
| ============================================================== • P2S2 2022 - CALL FOR PAPERS • ============================================================== • The Fifteenth Interna... | ||
| PARALLEL PROGRAMMING MODELS SYSTEMS SOFTWARE HIGH-END COMPUTING | ||
 |
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
| 2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
 |
||
| When: Aug 30, 2021 - Sep 03, 2021 Submission Deadline: May 20, 2022 | ||
| INTERACT is the International Conference promoted by the IFIP Technical Committee 13 on Human–Computer Interaction. INTERACT is held every two years. • The theme of INTERACT 2021 &... | ||
| HUMAN COMPUTER INTERACTION SOFTWARE ENGINEERING PROGRAMMING WEB MOBILE MULTIMEDIA TECHNOLOGIES | ||
 |
||
| When: Apr 01, 2021 - Apr 01, 2021 Submission Deadline: Aug 14, 2020 | ||
| ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, operating systems and networking. The 26th ASPLOS w... | ||
| PROGRAMMING LANGUAGE SOFTWARE ENGINEERING OPERATING SYSTEMS | ||
 |
||
| When: Jan 20, 2021 - Jan 22, 2021 Submission Deadline: Aug 28, 2020 | ||
| High performance computing is a key technology to solve large problems in science, engineering, and business by utilizing computing power which has been evolving to the future. HPCAsia, which is an in... | ||
| APPLICATIONS AND ALGORITHMS PROGRAMMING MODELS AND SYSTEMS | ||
 TyDe 2020 : 5th Workshop on Type-Driven DevelopmentOnline (co-located with ICFP 2020) |
||
| When: Aug 23, 2020 - Aug 23, 2020 Submission Deadline: May 19, 2020 | ||
| The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together le... | ||
| PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING GENERIC PROGRAMMING | ||
 |
||
| When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: Aug 12, 2020 | ||
| The 17th International Conference on Managed Programming Languages & Runtimes (MPLR'20) is a premier forum for presenting and discussing innovations and breakthroughs in the area of mana... | ||
| COMPILERS VIRTUAL MACHINES | ||
 ISEUP 2020 : Workshop on Intelligence in Spreadsheets and End-User ProgrammingDunedin, New Zealand |
||
| When: Aug 10, 2020 - Aug 14, 2020 Submission Deadline: May 08, 2020 | ||
| This workshop on Intelligence in Spreadsheets and End-User Programming will provide a venue for exploring issues that arise in designing, developing and evaluating intelligent and inferentia... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING SPREADSHEETS | ||
PLP 2019 : The Sixth Workshop on Probabilistic Logic ProgrammingLas Cruces, New Mexico, USA |
||
| When: Sep 20, 2019 - Sep 25, 2019 Submission Deadline: Aug 19, 2019 | ||
| PLP-2019: The Sixth Workshop on Probabilistic Logic Programming • ---------------------------------------------------------------- • A workshop of 35th International Conference on Logic Pr... | ||
 |
||
| When: Dec 14, 2019 - Dec 15, 2019 Submission Deadline: Aug 31, 2019 | ||
| 6th International Conference on Computer Science and Engineering (CSEN 2019) December 14~15, 2019, Chennai, India Scope & Topics 6th International Conference on Computer Science and Engineering (CSEN ... | ||
| COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE DATA MINING PROGRAMMING LANGUAGES | ||
CS&P 2019 : 28th Concurrency, Specification, and ProgrammingOlsztyn, Poland |
||
| When: Sep 24, 2019 - Sep 26, 2019 Submission Deadline: Aug 24, 2019 | ||
| CALL FOR PAPERS: THE FIRST ANNOUCEMENT • We would like to invite You to the • 28th Concurrency, Specification, and Programming (CS&P'19) which will take place in Olsztyn (Poland) on the Ko... | ||
| MATHEMATICAL MODELS OF CONCURR FORMAL SPECIFICATION LANGUAGES THEORY OF PROGRAMMING ROUGH SETS | ||
 |
||
| When: Jun 15, 2019 - Aug 30, 2019 Submission Deadline: Aug 30, 2019 | ||
| ... | ||
| PROGRAMMING LANGUAGES SOFTWARE LANGUAGES SOFTWARE ENGINEERING | ||
PPoPP 2020 : Principles and Practice of Parallel ProgrammingSan Diego, California, USA |
||
| When: Feb 22, 2020 - Feb 26, 2020 Submission Deadline: Aug 6, 2019 | ||
| Call for Papers • PPoPP 2020: 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming • San Diego, California, USA. (collocated with HPCA-2020 and CGO-2020) Da... | ||
|
|
||
| When: Oct 14, 2019 - Oct 14, 2019 Submission Deadline: Aug 11, 2019 | ||
| ApPLIED: Workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems -- held in conjunction with DISC 2019. • Homepage: ht... | ||
| ALGORITHM DESIGN LANGUAGES LIBRARIES PLATFORMS PROTOTYPE IMPLEMENTATIONS EVALUATION OF DISTRIBUTED ALGO | ||
|
|
||
| Submission Deadline: Aug 31, 2019 | ||
| International Journal of Programming Languages and Applications (IJPLA) Call for Papers International Journal of Programming Languages and Applications (IJPLA) is a Quarterly peer-reviewed and refere... | ||
| PROGRAMMING LANGUAGES APPLICATIONS EMBEDDED EDUCATIONAL | ||
|
|
||
| When: Oct 24, 2019 - Oct 25, 2019 Submission Deadline: Aug 31, 2019 | ||
| El cuarto Simposio Iberoamericano en programación Informática (SIIPRIN 2019) representa un foro de encuentro Iberoamericano de investigadores y profesionales dedicados al estudio e investigación de... | ||
| COMPUTER PROGRAMMING INFORMATICA EDUCACION GESTION DEL CONOCIMIENTO | ||
Erlang Workshop 2019 : Eighteenth ACM SIGPLAN Erlang WorkshopBerlin, Germany |
||
| When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 19, 2019 | ||
| Technical, practice, and application papers related to Erlang, BEAM, • Elixir, Scala/Akka, CloudHaskell, Lisp Flavoured Erlang, OCaml, and • functional programming are welcome and encourag... | ||
| ERLANG ELIXIR BEAM FUNCTIONAL PROGRAMMING | ||
 FHPNC 2019 : Functional High-Performance and Numerical ComputingBerlin, Germany |
||
| When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 25, 2019 | ||
| The ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing aims to bring together researchers and practitioners exploring or employing the use of functional or decla... | ||
| HIGH-PERFORMANCE COMPUTING DECLARATIVE LANGUAGES FORMAL METHODS NUMERICAL PROGRAMMING | ||
SECR 2019 : Software Engineering Conference in RussiaSt. Petersburg, Russia |
||
| When: Nov 14, 2019 - Nov 15, 2019 Submission Deadline: Aug 20, 2019 | ||
| Software Engineering Conference Russia (SECR) 2019 is the premier software engineering conference in Russia. The conference will take place in St.Petersburg. • The main conference dates are 14-1... | ||
| SOFTWARE ENGINEERING INFORMATION TECHNOLOGIES PROGRAMMING TECHNOLOGIES | ||
Hackathon@OMNeT++ Community Summit 2019 : Hackathon at the 6th OMNeT++ Community Summit 2019Hamburg University of Technology, German |
||
| When: Sep 4, 2019 - Sep 5, 2019 Submission Deadline: Aug 10, 2019 | ||
| **** Apologies if you receive multiple copies of this message **** • ===================================================================== • 6th OMNeT++ Community Summit 2019 • Hambu... | ||
| SIMMULATIOIN PROGRAMMING COMMUNICATION NETWORKING | ||
|
|
||
| Submission Deadline: Aug 2, 2019 | ||
| Scientific Programming Journal - Hindawi - 2017 IF 1.344 • https://www.hindawi.com/journals/sp/ • SPECIAL ISSUE ON Scientific Programming in the Fog and Edge Computing Era • Despite ... | ||
| SCIENTIFIC PROGRAMMING FOG COMPUTING EDGE COMPUTING PROGRAMMING | ||
TyDe 2019 : 4th Workshop on Type-Driven Development (TyDe 2019)Berlin, Germany |
||
| When: Aug 18, 2019 - Aug 18, 2019 Submission Deadline: May 19, 2019 | ||
| -------------------------------------------------------------------------------- • CALL FOR PAPERS • 4th Workshop on Type-Driven Development (TyDe 2019) • 18th August 2019, Berlin, G... | ||
| PROGRAMMING LANGUAGES FUNCTIONAL PROGRAMMING TYPES GENERIC PROGRAMMING | ||
VLIoT 2019 : International Workshop on Very Large Internet of ThingsLos Angeles (EUA) |
||
| When: Aug 30, 2019 - Aug 30, 2019 Submission Deadline: Apr 3, 2019 | ||
| ******************************************************************** • CALL FOR PAPERS • International Workshop on Very Large Internet of Things (2019) • In conjunction with VLDB 201... | ||
| SEMANTICS & REASONING IN IOT IOT PROGRAMMING & TOOLS IOT DATA MINING IOT PERFORMANCE BECHMARKS | ||
Find and Compare Upcoming Programming Events in August. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
