Tagungen und Workshops zum Thema Softwareentwicklung

Wählen Sie ein Land aus
ALLE LÄNDER (57)
1
Angular Camp — Flexible Deep Dive: Lernen im eigenen Tempo mit Manfred Steyer
11. Okt 2021 - 16. Dez 2021 • Online, Deutschland
Veranstalter:
Entwickler Akademie
Zusammenfassung:
Ab Oktober haben die Teilnehmenden die Möglichkeit eine neue, flexiblere Form des Angular Camps zu wählen. Das Angular Camp - Flexible Deep Dive ist ein vierwöchiges Online-Training für Fortgeschrittene und Profis. Durch Lernvideos und Übungsaufgaben werden die Themen intensiv erarbeitet und das ganze Programm wird von unserem Trainer Manfred Steyer begleitet. Das Besondere am Flexible Deep Dive Camp ist die flexible Zeiteinteilung. Die Teilnehmenden können sich die vier Lektionen über vier Wochen frei nach Ihrem Lerntempo und Kalender einrichten.Jede Woche wird ein neues Deep Dive Thema freigeschalten samt spannender Lernvideos und Übungen zum selbst ausprobieren.
Kontakt:
Tel.: [+49 (0) 302148066 17];     Email: ssorger@sandsmedia.com |
Themen:
Angular
Eintrags-ID:
1443223
2
CP2021 - 27th International Conference on Principles and Practice of Constraint Programming
25. Okt 2021 - 29. Okt 2029 • Montpellier, Frankreich
Zusammenfassung:
This is the 27th edition of the annual conference on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The Association for Constraint Programming has a list of previous conferences in this series
Eintrags-ID:
1409474
3
Sysarch — System Architecting Conference
30. Nov 2021 • Online, Niederlande
Veranstalter:
Techwatch B.V. - Bits&Chips
Zusammenfassung:
The fourth edition of the Bits&Chips System Architecting Conference will be an online event series. Each session includes two presentations. With a full year ticket, you will get access to the presentations of all sessions and the on-demand presentation videos afterwards. After each session you have the possibility to network with other visitors at the virtual networking space. Through an inspiring program, this event brings together system architects to share successful and failed development cases. System architecture is a distinguishing discipline in the development and commercialization of complex systems, products and machines. The system architect’s decisions can make or break a product. Experience is an important factor, but the system architect can also learn a lot from his peers.
Themen:
BitsChips, Architecting, Online, Networking
Eintrags-ID:
1436545
4
DevOps Docker Camp — Das Intensivtraining für Docker mit Erkan Yanar
06. Dez 2021 - 08. Dez 2021 • online, Überall (Virtuelle Veranstaltung)
Veranstalter:
Software & Support Media GmbH
Zusammenfassung:
In dem dreitägigen Intensivtraining mit Erkan Yanar erhalten Sie von einem der bekanntesten deutschsprachigen DevOps-Experten einen praktischen Einstieg in die Container-Technologie und die besten Experten-Tipps. Sie lernen die Konzepte von Docker und die darauf aufbauenden Infrastrukturen von A bis Z umfassend kennen. Das Programm der Schulung ist mit seinem hohem Übungsanteil praxis- und umsetzungsorientiert. So werden u.a. eigene Applikationen in Docker Images verpackt und eigene Microservices ausgerollt, die automatisiert geloggt und gemonitort werden. Am Ende des DevOps Camps werden die Teilnehmenden einschätzen können, wie Docker für sie selbst nutzbringend einzusetzen ist.
Kontakt:
Entwickler Akademie;     Tel.: [030214806650];     Email: info@entwickler-akademie.de
Themen:
DevOps, Docker, Kubernetes, Softwarearchitektur, Open-Source, Container, Infrastruktur, Docker Swarm, Microservices, Linux
Eintrags-ID:
1452719
5
IT-Tage 2021 Remote
06. Dez 2021 - 09. Dez 2021 • Remote, Deutschland
Veranstalter:
Informatik Aktuell
Zusammenfassung:
From 06 - 09 December 2021, the IT-Tage will take place as a remote conference. The annual conference of the magazine "Informatik Aktuell" is aimed at software developers, database experts, DevOps and IT decision-makers. As last year, participants can expect an extensive program with over 200 sessions in 8 parallel tracks. The digital conference platform offers a variety of opportunities for exchange. Participants will also receive 1 year access to all content on-demand plus many additional presentation specials after the conference.
Kontakt:
Email: andreas.eistert@informatik-aktuell.de
Eintrags-ID:
1405247
6
MIDDLEWARE 2021 — 22nd ACM/IFIP International Conference
06. Dez 2021 - 10. Dez 2021 • Online-only Conference Québec, Kanada
Veranstalter:
Association for Computing Machinery (ACM)
Zusammenfassung:
The annual ACM/IFIP Middleware conference is a major forum for the discussion of innovations and recent scientific advances of middleware systems with a focus on the design, implementation, deployment, and evaluation of distributed systems, platforms and architectures for computing, storage, and communication. Highlights of the conference will include a high quality single-track technical program, invited speakers, an industrial track, panel discussions involving academic and industry leaders, poster and demonstration presentations, a doctoral symposium, tutorials and workshops.
Eintrags-ID:
1437546
7
Der große ML-Summit im Dezember
08. Dez 2021 - 10. Dez 2021 • Berlin, Deutschland
Veranstalter:
Entwickler Akademie
Zusammenfassung:
Von Machine Learning über Data Science bis hin zu Python – bei dem großen online Trainingsevent vom 8. bis 10. Dezember 2021, erwarten Sie halb- und ganztägige Workshops mit Expert:innen, spannende Keynotes und interaktive Night Sessions. Die große Fortbildungsveranstaltung für alle Entwickler:innen, IT-Projektleiter:innen und Product Owner, geht mit mehr als 15 Top-Trainer:innen tief ins Detail. Die Teilnehmenden lernen die Welt der ML-Tools, Programmiersprachen und Technologien umfassend, in der Theorie und Praxis, kennen.
Kontakt:
Tel.: [+49 (0) 302148066 53];     Email: info@entwickler-akademie.de
Themen:
Software, IT, Maschine Learning
Eintrags-ID:
1452609
8
PAAP 2021 — The 12th International Symposium on Parallel Architectures, Algorithms and Programming
10. Dez 2021 - 12. Dez 2021 • Xi'an, China
Veranstalter:
PAAP 2021 will be organized by Xidian University.
Zusammenfassung:
Following the successful PAAP’08 in Hefei, PAAP’09 in Nanning, PAAP’10 in Dalian, and PAAP’11 in Tianjin, PAAP’12 in Taipei, PAAP’14 in Beijing, PAAP’15 in Nanjing, PAAP’17 in Haikou, PAAP’18 in Taiwan, PAAP’19 in Shenzhen, the 12th International Symposium on Parallel Architectures, Algorithms and Programming (PAAP’21) will be held in Xi'an, China, December 10-12, 2021.
Kontakt:
Tel.: [+86-28-87555888];     Email: contactpco@qq.com
Themen:
Architectures; Algorithms; Parallel Programming; High Performance Systems; Privacy and Security; Big Data Processing and Deep Learning;
Eintrags-ID:
1420208
9
SEC 2021 — The Sixth ACM/IEEE Symposium on Edge Computing
14. Dez 2021 - 17. Dez 2021 • San Jose, Kalifornien, Vereinigte Staaten
Veranstalter:
Association for Computing Machinery (ACM)
Zusammenfassung:
SEC is a forum for top researchers, engineers, students, entrepreneurs, and government officials come together under one roof to discuss the opportunities and challenges that arise from rethinking cloud computing architectures and embracing edge computing. SEC takes a broad view of edge computing and solicits contributions from many fields of systems practice that embrace any aspect of edge computing.
Eintrags-ID:
1437482
Verwandte Fachgebiete:
10
XTREMEJS — The Xtreme JS Online Conference
22. Dez 2021 • Online, Überall (Virtuelle Veranstaltung)
Zusammenfassung:
The XtremeJS online conference focuses on advanced, sophisticated, and new topic in the JavaScript programming language.
Kontakt:
Tel.: [972 54 6655837];     Email: haim.michael@lifemichael.com
Themen:
javascript
Eintrags-ID:
1407810
11
ICMLSC 2022 — The 6th International Conference on Machine Learning and Soft Computing
15. Jan 2022 - 17. Jan 2022 • Haikou, China
Veranstalter:
CZES-nd
Zusammenfassung:
ICMLSC 2022, The 6th International Conference on Machine Learning and Soft Computing, will take place in Haikou, China, from January 15-17, 2022. ICMLSC conference is co-sponsored by Sai Gon University, Vietnam, Industrial University of Ho Chi Minh City and Hosei University, Japan, with support from Chuo University, Japan, International University - Vietnam National University, Vietnam, Can Tho University, Vietnam, etc.
Kontakt:
Tel.: [+86 138-8010-4517];     Email: Nazal@sina.com
Themen:
Intelligent search; Automated reasoning and logic programming; Machine learning; Intelligent planning; Visual/linguistic perception; Evolutionary and swarm algorithms; Derivative-free optimisation algorithms; Fuzzy sets and fuzzy logic; rough sets; Neural computing; Emotional intelligence; Hybridisation of intelligent models/algorithms; Parallel and distributed realisation of intelligent algorithms/systems; Applications;
Eintrags-ID:
1428843
Webseite:
12
PADL 2022 — The 24th International Symposium on Practical Aspects of Declarative Languages (PADL) 2022
16. Jan 2022 - 22. Jan 2022 • Philadelphia, Pennsylvania, Vereinigte Staaten
Zusammenfassung:
PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving.
Einsendeschluss für Abstracts:
01. Okt 2021
Eintrags-ID:
1444899
13
POPL 2022 — Symposium on Principles of Programming Languages
16. Jan 2022 - 22. Jan 2022 • Philadelphia, Pennsylvania, Vereinigte Staaten
Veranstalter:
The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
Zusammenfassung:
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.
Eintrags-ID:
1444821
14
CPP 2022 — Certified Programs and Proofs
16. Jan 2022 - 22. Jan 2022 • Philadelphia, Pennsylvania, Vereinigte Staaten
Zusammenfassung:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Einsendeschluss für Abstracts:
16. Sep 2021
Eintrags-ID:
1444842
15
VMCAI 2022 — 23rd International Conference on Verification, Model Checking, and Abstract Interpretation
16. Jan 2022 - 22. Jan 2022 • Philadelphia, Pennsylvania, Vereinigte Staaten
Zusammenfassung:
Welcome to the website of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2022 will be the 23rd edition in the series.
Einsendeschluss für Abstracts:
16. Sep 2021
Eintrags-ID:
1444907
16
PEPM 2022 — ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
16. Jan 2022 - 22. Jan 2022 • Philadelphia, Pennsylvania, Vereinigte Staaten
Zusammenfassung:
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), which has a history going back to 1991 and has co-located with POPL every year since 2006, originates in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties.
Einsendeschluss für Abstracts:
07. Okt 2021
Eintrags-ID:
1444884
17
CPP 2022 — Conference on Certified Programs & Proofs
17. Jan 2022 - 18. Jan 2022 • Philadelphia PA with Virtual options, Vereinigte Staaten
Zusammenfassung:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
Eintrags-ID:
1448867
18
ICSSE 2022 — The Fifth International Conference on Software and Services Engineering
21. Jan 2022 - 23. Jan 2022 • Paris, Frankreich
Veranstalter:
International Academy of Computing Technology
Zusammenfassung:
The Fifth International Conference on Software and Services Engineering(ICSSE 2022) will be held in Paris, France during January 21-23, 2022. This conference is sponsored by International Academy of Computing Technology (IACT) and co-sponsored by Ecole Centrale de Marseille-Aix Marseille Université, France and technically supported by many universities.
Kontakt:
Tel.: [+86-18081079313];     Email: Dunn@iact.net
Themen:
Methods and Techniques for Software Development; Model-driven Architecture and Engineering; Model Engineering; Component-based Design; Software Maintenance; Re-engineering and Reverse Engineering; Software Architectures Design; Middleware Components; Requirements Engineering ; Software Reuse; Frameworks and Design Patterns; Software Quality; Object-Oriented Technologies; Software Management; Architecture-Centered Development; Quality Management and Assurance;
Eintrags-ID:
1423738
19
MODELSWARD 2022 — 10th International Conference on Model-Driven Engineering and Software Development
06. Feb 2022 - 08. Feb 2022 • Wien, Österreich
Veranstalter:
INSTICC, the Institute for Systems and Technologies of Information, Control and Communication
Zusammenfassung:
The purpose of the International Conference on Model-Driven Engineering and Software Development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for Software Development. Model-Driven Development (MDD) is an approach to the development of IT systems in which models take a central role, not only for analysis of these systems but also for their construction. MDD has emerged from modelling initiatives, most prominently the Model-Driven Architecture (MDA) fostered by the Object Management Group (OMG). In the scope of MDA, a couple of technologies have been developed that became the cornerstones of MDD, like metamodelling and model transformations. MDD relies on languages for defining metamodels, like the Meta-Object Facility (MOF) and Ecore (developed in the scope of the Eclipse Modelling Framework), and transformation specification languages like QVT and ATL. MDD is already around for some years and is about to become commodity in software development due to its benefits (reduction on development costs, improvement of software quality, reduction of maintenance costs and the support for controlled evolution of IT systems). MDD has also been applied in many application areas, such as real-time and embedded systems, and telecommunication systems, and, more recently, to the development and integration of enterprise information systems. However, the MDD research community is wishing to explore the bounds of MDD, by investigating new applications areas and combinations with other emerging technologies, like, for example, pervasive context-aware systems, semantic web, semantic web services, service-oriented architecture, ontologies and cloud computing. This conference aims at fostering the further development and application of MDD techniques for software systems. Papers describing advanced prototypes, systems, tools and techniques and general survey papers indicating future directions are also encouraged. Papers reporting on original work in any of the areas listed below are welcome. Accepted papers, presented at the conference by one of the authors, will be published in the Proceedings of MODELSWARD. The submitted papers will be reviewed by at least three experts in this area, and acceptance will be based on quality, relevance and originality. The conference is open to full research and (short) work-in-progress papers. Sessions are planned for both oral and poster presentations.
Kontakt:
Tel.: [+351 265 520 185];     Email: modelsward.secretariat@insticc.org
Eintrags-ID:
1422255
20
CC 2022 — ACM SIGPLAN 2022 International Conference on Compiler Construction
12. Feb 2022 - 13. Feb 2022 • Seoul, Republik Korea
Zusammenfassung:
The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. CC 2022 is the 31st edition of the conference, and will be co-located with CGO, HPCA and PPoPP. CC is an ACM SIGPLAN conference.
Einsendeschluss für Abstracts:
08. Nov 2021
Eintrags-ID:
1444927
21
PPoPP 2022 — Principles and Practice of Parallel Programming 2022
12. Feb 2022 - 16. Feb 2022 • Seoul, Republik Korea
Zusammenfassung:
PPoPP is the premier forum for leading work on all aspects of parallel programming, including theoretical foundations, techniques, languages, compilers, runtime systems, tools, and practical experience. In the context of the symposium, “parallel programming” encompasses work on concurrent and parallel systems (multicore, multi-threaded, heterogeneous, clustered, and distributed systems; grids; datacenters; clouds; and large scale machines). Given the rise of parallel architectures in the consumer market (desktops, laptops, and mobile devices) and data centers, PPoPP is particularly interested in work that addresses new parallel workloads and issues that arise out of extreme-scale applications or cloud platforms, as well as techniques and tools that improve the productivity of parallel programming or work towards improved synergy with such emerging architectures.
Eintrags-ID:
1444937
Verwandte Fachgebiete:
22
CGO 2022 — International Symposium on Code Generation and Optimization
12. Feb 2022 - 16. Feb 2022 • Seoul, Republik Korea
Zusammenfassung:
The International Symposium on Code Generation and Optimization (CGO) provides a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conference spans the spectrum from purely static to fully dynamic approaches, and from pure software-based methods to specific architectural features and support for code generation and optimization.
Eintrags-ID:
1444947
23
sec4dev Conference & Bootcamp 2022
21. Feb 2022 - 24. Feb 2022 • Wien, Österreich
Veranstalter:
SBA Research
Zusammenfassung:
The sec4dev Conference & Bootcamp is a Vienna-based security event which targets one very specific group: people involved in software development. It is our mission to bring together the best industry professionals, thus having a sustainable and positive impact on the software security landscape.
Kontakt:
Email: info@sec4dev.io
Themen:
security, software security, secure coding, Application Security, Secure Identity, Secure SDLC, DevSecOps, Cloud Security, IoT Security
Eintrags-ID:
1456482
24
FAST 2022 — 20th USENIX Conference on File and Storage Technologies
21. Feb 2022 - 24. Feb 2022 • Santa Clara, Vereinigte Staaten
Veranstalter:
USENIX Association
Zusammenfassung:
The 20th USENIX Conference on File and Storage Technologies (FAST '22) will take place on February 21–24, 2022, in Santa Clara, CA, USA, at the Hyatt Regency Santa Clara. FAST will bring together storage-system researchers and practitioners to explore new directions in the design, implementation, evaluation, and deployment of storage systems.
Eintrags-ID:
1359407
25
ASSE 2022 — The 3rd Asia Service Sciences and Software Engineering Conference
24. Feb 2022 - 26. Feb 2022 • Macau, China
Veranstalter:
ACMSC
Zusammenfassung:
ASSE 2022 will be held in Macau, China during 24-26 February, 2022. It is supported by Singapore Institute of Electronics, Feng Chia University, Taiwan. Welcome scholars and researchers working in the field of Service Sciences and Software Engineering from all over the world to attend the conference and share your experiences and lessons with other enthusiasts, and develop opportunities for cooperation.
Kontakt:
Tel.: [+86-021-59561560];     Email: amychou2020@163.com
Themen:
Computer Apllication; System hardware and software Design ; The Internet of things Enginering; Software Reuse; Software Management; Model Engineering ; Blockchain network and architecture design; Distributed database and ledger design and performance enhancement; Communication Networks; Infrastructure for Next Generation Networks; Artificial Intelligence and Expert Systems; Cloud Computing ; Data Mining & Knowledge Discovery; E-Business and E-Commerce; Network and Service Management; Database System and Application; Database and Information System Architecture and Performance; Big Data and Intelligent Computing; Methods and Techniques for Software Development; Big data and Cloud Computing
Eintrags-ID:
1419907
26
SREcon22 Americas
14. Mär 2022 - 16. Mär 2022 • San Francisco, CA, Vereinigte Staaten
Veranstalter:
USENIX Association
Zusammenfassung:
SREcon22 Americas is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. SREcon strives to challenge both those new to the profession as well as those who have been involved in it for decades. The conference has a culture of critical thought, deep technical insights, continuous improvement, and innovation.
Eintrags-ID:
1359383
Verwandte Fachgebiete:
27
SAIS — 24th Annual Conferences of the Southern Association for Information Systems
18. Mär 2022 - 19. Mär 2022 • Myrtle Beach, South Carolina, Vereinigte Staaten
Veranstalter:
Association for Information Systems
Zusammenfassung:
The annual Southern Association for Information Systems (SAIS), an official chapter of the Association for Information Systems (AIS), will hold the 24th SAIS conference in Myrtle Beach, South Carolina, March 18-19, 2022. We invite submissions of abstracts, papers, panels, tutorials, and workshops, from academia, business, or government on current topics in all areas of IS. Accepted abstracts and papers will be included in the conference proceedings and published in the AIS e-Library.
Kontakt:
Tel.: [7576479437];     Email: chris.kreider@cnu.edu
Themen:
systems analysis, systems design, analytics, project management, information systems, information security, cybersecurity
Einsendeschluss für Abstracts:
01. Mär 2021
Eintrags-ID:
1442188
28
REFSQ 2022 — 28th International Working Conference on Requirement Engineering: Foundation for Software Quality
21. Mär 2022 - 24. Mär 2022 • Birmingham, Großbritannien
Zusammenfassung:
The 28th International Working Conference on Requirement Engineering: Foundation for Software Quality will take place from the 21st to 24th of March 2022. It is our intention to hold a live, in-person event in Aston, Birmingham, UK. We are aware that health recommendations may change at any moment, and the REFSQ 2022 organization is committed to promptly adapt to such recommendations, always prioritizing the safety of participants. In particular, authors of papers whose country or working organization impose restrictive travelling conditions, will be exceptionally allowed to present their work remotely. True to the REFSQ spirit, we will have a highly structured and interactive event, with a special connection to industry, and a strong emphasis on open discussion and networking.
Themen:
Special Theme: Explainability in Requirements Engineering
Einsendeschluss für Abstracts:
18. Okt 2021
Eintrags-ID:
1444946
29
‹Programming› 2022 — International Conference on the Art, Science, and Engineering of Programming
25. Mär 2022 - 24. Mär 2022 • Porto, Portugal
Zusammenfassung:
The International Conference on the Art, Science, and Engineering of Programming is a new conference focused on programming topics including the experience of programming. We have named it ‹Programming› for short. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience.
Eintrags-ID:
1444945
30
tinyML Research Symposium — Tiny machine learning
28. Mär 2022 • San Francisco, Vereinigte Staaten
Zusammenfassung:
Tiny machine learning (tinyML) is a fast-growing field of machine learning technologies enabling on-device sensor data analytics at extremely low power, typically in the milliwatt range and below. The tinyML ecosystem is fueled by (i) emerging commercial applications and new systems concepts on the horizon; (ii) significant progress on algorithms, networks, and models down to 100 kB and below; and (iii) current low-power applications in vision and audio that are already becoming mainstream and commercially available. There is growing momentum demonstrated by technical progress and ecosystem development in all of these areas. The tinyML research symposium serves as a flagship venue for related research at the intersection of machine learning applications, algorithms, software, and hardware in deeply embedded machine learning systems.
Einsendeschluss für Abstracts:
17. Dez 2021
Eintrags-ID:
1444944
31
VPT 2022 — Tenth International Workshop on Verification and Program Transformation
02. Apr 2022 • München, Deutschland
Zusammenfassung:
The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. The workshop offers twofold benefits for the verification community. On the one hand it will rise awareness of and stimulate the development of novel verification methods and techniques. On the other hand it will draw attention of the community to the novel and challenging verification problems and research opportunities.
Eintrags-ID:
1449337
32
ETAPS 2022 — 25th European Joint Conferences on Theory and Practice of Software
02. Apr 2022 - 07. Apr 2022 • Munich – hybrid, Deutschland
Veranstalter:
ETAPS is supported by the ETAPS Association, hosted by Technische Universität München
Zusammenfassung:
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
Einsendeschluss für Abstracts:
14. Okt 2022
Eintrags-ID:
1448740
33
TACAS 2022 — 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
02. Apr 2022 - 07. Apr 2022 • München, Deutschland
Zusammenfassung:
TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems. Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged.
Einsendeschluss für Abstracts:
14. Okt 2021
Eintrags-ID:
1449358
Verwandte Fachgebiete:
34
NSDI '22 — 19th USENIX Symposium on Networked Systems Design and Implementation
04. Apr 2022 - 06. Apr 2022 • Renton, WA, Vereinigte Staaten
Veranstalter:
USENIX Association
Zusammenfassung:
oin us in Renton, WA, USA on April 4–6, 2022, for the 19th USENIX Symposium on Networked Systems Design and Implementation. NSDI focuses on the design principles, implementation, and practical evaluation of networked and distributed systems. Our goal is to bring together researchers from across the networking and systems community to foster a broad approach to addressing overlapping research challenges.
Eintrags-ID:
1359395
Verwandte Fachgebiete:
35
ICST 2022 — 15th IEEE International Conference on Software Testing, Verification and Validation
04. Apr 2022 - 13. Apr 2022 • virtual, Überall (Virtuelle Veranstaltung)
Zusammenfassung:
The 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2022 will include keynote addresses by eminent scientists as well as special, regular, and poster sessions. All research papers will be peer-reviewed on the basis of a full-length manuscript and acceptance will be based on quality, originality, and relevance. Accepted research papers will be published in the conference proceedings with an IEEE catalog number and ISBN number. The proceedings will be submitted for publication in IEEE Xplore.
Einsendeschluss für Abstracts:
27. Sep 2021
Eintrags-ID:
1444965
36
The ACM Web Conference
25. Apr 2022 - 29. Apr 2022 • Lyon, Frankreich
Veranstalter:
Association for Computing Machinery (ACM)
Zusammenfassung:
Since the invention of the World Wide Web in 1989, The Web Conference (formerly known as International World Wide Web Conference, abbreviated as WWW) is a yearly international academic conference on the topic of the future direction of the World Wide Web. This conference has been the premier venue to present and discuss progress in research, development, standards, and applications of the topics related to the Web.
Eintrags-ID:
1437453
37
FLOPS 2022 — 16th International Symposium on Functional and Logic Programming
10. Mai 2022 - 12. Mai 2022 • Kyoto, Japan
Zusammenfassung:
FLOPS aims to bring together practitioners, researchers and implementors of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.
Einsendeschluss für Abstracts:
14. Nov 2021
Eintrags-ID:
1445008
38
ICSE 2022 — 44th International Conference on Software Engineering
21. Mai 2022 - 29. Mai 2022 • Pittsburgh, Vereinigte Staaten
Zusammenfassung:
ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. Since 1975, ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering.
Einsendeschluss für Abstracts:
15. Okt 2021
Eintrags-ID:
1445054
39
NFM 2022 — 14th NASA Formal Methods Symposium
24. Mai 2022 - 27. Mai 2022 • Los Angeles, CA, Vereinigte Staaten
Zusammenfassung:
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California.
Einsendeschluss für Abstracts:
03. Dez 2021
Eintrags-ID:
1449328
Verwandte Fachgebiete:
40
ICBDC 2022 — The 7th International Conference on Big Data and Computing
27. Mai 2022 - 29. Mai 2022 • Shenzhen, China
Veranstalter:
International Academy of Computing Technology
Zusammenfassung:
2022 7th International Conference on Big Data and Computing will be held in Shenzhen,China on May 27-29, 2022.
Kontakt:
Tel.: [18081079313];     Email: Dunn@iact.net
Themen:
Algorithmic, experimental, prototyping and implementation; Big Data Algorithms, Applications and Services; Big Data Mining and Analytics; Big Data Processing and Querying; Cloud and Big Data for Internet of Things (IoT); Computing, scheduling and resource management for sustainability; Government and Industrial Experiences for Cloud and Big Data; Green Computing and Networking Technologies for Cloud and Big Data; Software Engineering for Cloud Computing and Big Data; Software, hardware and algorithm co-design, high-performance computing; Software and tools for big data management; Cloud Computing Solutions and Platforms;
Einsendeschluss für Abstracts:
15. Dez 2021
Eintrags-ID:
1438633
41
ECOOP 2022
06. Jun 2022 - 10. Jun 2022 • Berlin, Deutschland
Zusammenfassung:
ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.
Einsendeschluss für Abstracts:
01. Dez 2021
Eintrags-ID:
1444985
42
ISCA 49 — International Symposium on Computer Architecture
11. Jun 2022 - 15. Jun 2022 • New York, NY, Vereinigte Staaten
Eintrags-ID:
1437476
43
EASE 2022 — International Conference on Evaluation and Assessment in Software Engineering
13. Jun 2022 - 14. Jun 2022 • Göteberg, Schweden
Zusammenfassung:
The International Conference on Evaluation and Assessment in Software Engineering (EASE) is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A-conference in CORE.
Eintrags-ID:
1445039
44
ICT4S 2022 — 8th International Conference on ICT for Sustainability
13. Jun 2022 - 17. Jun 2022 • Plovdiv – hybrid, Bulgarien
Veranstalter:
University of Plovdiv
Zusammenfassung:
The international ICT4S conferences bring together leading researchers in ICT for Sustainability with government and industry representatives, including decision-makers with an interest in using ICT for sustainability, researchers focusing on ICT effects on sustainability and developers of sustainable ICT systems or applications.
Einsendeschluss für Abstracts:
14. Jan 2022
Eintrags-ID:
1445016
45
PLDI 2022 — 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
20. Jun 2022 - 24. Jun 2022 • San Diego, Kalifornien, Vereinigte Staaten
Zusammenfassung:
Welcome to the home page of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.
Einsendeschluss für Abstracts:
09. Nov 2021
Eintrags-ID:
1444982
46
OSDI '22 — 16th USENIX Symposium on Operating Systems Design and Implementation
11. Jul 2022 - 13. Jul 2022 • Carlsbad, CA, Vereinigte Staaten
Veranstalter:
Sponsored by USENIX in cooperation with ACM SIGOPS
Zusammenfassung:
OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The symposium emphasizes innovative research as well as quantified or insightful experiences in systems design and implementation.
Themen:
Co-located with USENIX ATC '22
Einsendeschluss für Abstracts:
07. Dez 2021
Eintrags-ID:
1449554
47
USENIX ATC '22 — 2022 USENIX Annual Technical Conference
11. Jul 2022 - 13. Jul 2022 • Carlsbad, CA, Vereinigte Staaten
Zusammenfassung:
USENIX ATC brings together leading systems researchers for the presentation of cutting-edge systems research and the opportunity to gain insight into a wealth of must-know topics, including virtualization, system and network management and troubleshooting, cloud and edge computing, security, privacy, and trust, mobile and wireless, and more.
Themen:
Co-located with OSDI '22
Einsendeschluss für Abstracts:
06. Jan 2022
Eintrags-ID:
1449575
48
ICLP — 38th International Conference on Logic Programming
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Eintrags-ID:
1448993
49
SAT — 25th International Conference on Theory and Applications of Satisfiability Testing
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Zusammenfassung:
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vs NP) and underlies many applications in, among other examples, artificial intelligence, operations research, and electronic design engineering. The primary objective of the conferences is to bring together researchers from various areas and communities, including theoretical and experimental computer science as well as the many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.
Eintrags-ID:
1449058
50
CP — 25th International Conference on Principles and Practice of Constraint Programming
31. Jul 2022 - 12. Aug 2022 • Haifa, Israel
Veranstalter:
FLoC 2022
Eintrags-ID:
1449024
51
VL/HCC 2022 — IEEE Symposium on Visual Languages and Human-Centric Computing
16. Sep 2022 • Rome, Italien
Zusammenfassung:
From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge. The IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) is the premier international forum for research on this topic. Established in 1984, the mission of the conference is to support the design, theory, application, and evaluation of computing technologies and languages for programming, modeling, and communicating, which are easier to learn, use, and understand by people.
Themen:
Human-Centric AI
Einsendeschluss für Abstracts:
23. Mär 2022
Eintrags-ID:
1444992
52
ASE 2022 — 37th IEEE/ACM International Conference on Automated Software Engineering
02. Okt 2022 - 07. Okt 2022 • Ann Arbor, Michigan, Vereinigte Staaten
Zusammenfassung:
The ASE conference is the premier research forum for Automated Software Engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.
Eintrags-ID:
1445068
53
ESEC/FSE 2022 — ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
14. Nov 2022 - 18. Nov 2022 • Singapore, Singapur
Zusammenfassung:
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 educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. ESEC/FSE brings together experts from academia and industry to exchange the latest research results and trends as well as their practical application in all areas of software engineering.
Eintrags-ID:
1444990
54
SPLASH 2022 — ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
14. Nov 2022 - 19. Nov 2022 • Auckland, Neuseeland
Einsendeschluss für Abstracts:
12. Okt 2021
Eintrags-ID:
1445000
55
ICSE 2023 — 45th International Conference on Software Engineering
14. Mai 2023 - 20. Mai 2023 • Melbourne, Südafrika
Zusammenfassung:
44th International Conference on Software Engineering
Eintrags-ID:
1445119
56
OSDI '23 — 17th USENIX Symposium on Operating Systems Design and Implementation
10. Jul 2023 - 12. Jul 2023 • Boston, MA, Vereinigte Staaten
Zusammenfassung:
OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The symposium emphasizes innovative research as well as quantified or insightful experiences in systems design and implementation.
Themen:
Co-located with USENIX ATC '23
Eintrags-ID:
1449616
57
USENIX ATC '23 — 2023 USENIX Annual Technical Conference
10. Jul 2023 - 12. Jul 2023 • Boston, MA, Vereinigte Staaten
Zusammenfassung:
USENIX ATC brings together leading systems researchers for the presentation of cutting-edge systems research and the opportunity to gain insight into a wealth of must-know topics, including virtualization, system and network management and troubleshooting, cloud and edge computing, security, privacy, and trust, mobile and wireless, and more.
Eintrags-ID:
1449593


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 25. November 2021