Conférences  >  Informatique  >  Génie logiciel

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

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.

entwickler.de Akademie

Auf dem MAD Summit, präsentiert von der entwickler.de Akademie, lernen Software Entwickler:innen und Software Engineers, Software Architekt:innen und Enterprise Architects sowie IT Projektleiter:innen die optimale Erstellung, schnelle Implementierung und effiziente Bereitstellung von moderner Software sowie Software Design in 24 hands-on Workshops von erfahrenen Top-Trainer:innen der Branche.

Entwickler.de Akademie;     Email.: info@entwickler-akademie.de

entwickler.de Akademie

Die entwickler.de Akademie präsentiert das Trainingsevent “React Camp – Dein Weg zum React-Profi" mit Hans-Christian Otto, welches vom 4. bis 6. Dezember online stattfindet. Zielgruppe des Camps sind alle Entwickler:innen, die Interesse an React haben. Grundlagen in HTML und fundierte JavaScript-Kenntnisse werden für die Camp-Teilnahme vorausgesetzt.

In drei Tagen werden die Teilnehmenden zu Profis. Trainer ist niemand anderes als der Program Chair der renommierten React Days – Hans Christian Otto. Am ersten Tag führt er durch die Grundlagen von React und zeigt die Vorteile von TypeScript in Kombination mit React auf. Am zweiten Tag werden dann Fragen beantwortet wie „Was sind Hooks und wie verwende ich sie sinnvoll?“, „Wie funktioniert Listen-Rendering?“ und „Wie werden React-Komponenten getestet?“. Schließlich wird sich auf React Hooks spezialisiert. Die Teilnehmenden lernen u. a. eigene Hooks zu entwickeln und erhalten einen Ausblick in React-Projekte mit Docker. Das Hands-on-Training verspricht dabei jederzeit ein praxisnahes Vorgehen mit vielen Übungen, so bleibt das Gelernte langfristig im Kopf.

Mit dem Early-Bird-, Team- und Heldenrabatt erhalten Interessierte die Chance auf ein reduziertes Ticket.

Entwickler.de Akademie;     Email.: info@entwickler-akademie.de

life michael

The XtremePython 2023 online international conference focuses on the Python programming language. It gathers together software developers and speakers from all over the world.

Email.: info@lifemichael.com

Python

Entwickler Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul DDD vom 5. - 7. Dezember im Online-Format. Das Modul präsentiert den Teilnehmer:innen Domain Driven Design (DDD) als Mittel, Software als präzise, transparente und transformierbare Repräsentation einer fachlichen Domäne zu gestalten.

Domäne, Modell, Ubiquitous Language, Entity, Value Object, Aggregate, Service, Domain Event, Factory, Repository, Anwendungsarchitektur, Lokale Modellkonsistenz

PROFES is among the top recognized software development and process improvement conferences.The objective is to provide a premier forum for practitioners, researchers, and educators to present and discuss experiences, ideas, innovations, as well as concerns related to professional software process improvement motivated by product ans service quality needs.

Alkmene Verlag GmbH

"Alles unter einem Dach!“ ist das Motto der IT-Tage, der Jahreskonferenz des Fachmagazins Informatik Aktuell in Frankfurt am Main. So unterteilt sich die Konferenz in Sub-Konferenzen zu allen wichtigen IT-Themen. Darunter sind die DevOps-Tage, die Cloud-Tage, IT-Security-Tage, die KI-Tage und die Java-Tage, die Datenbanktage, die Entwicklertage, die Software-Architekturtage sowie die Agile-Tage.

IT-Entwickler- und Management-Konferenz, über 200 Sessions und Workshops zu Software-Entwicklung, -Architektur, Datenbanken, DevOps, Agile, Java, Event Streaming, Cloud & Serverless, Künstliche Intelligenz, IT-Security

Entwickler Akademie

Architekturbewertung ist ein zentrales Werkzeug, um Sicherheit im Architekturentwurf zu gewinnen und um bestehende Lösungen oder Lösungsansätze fokussiert und nachhaltig weiterentwickeln zu können. Oder auch um sie informiert zu verwerfen. Vor allem fördert Architekturbewertung Kommunikation und Transparenz, richtig angewendet passt sie daher prima in ein zeitgemäßes Vorgehen. In diesem Workshop lernen die Teilnehmenden elementare Techniken und Methoden kennen und anwenden, um Softwarearchitekturen zu reflektieren.

Architekturbewertung, Qualitative vs. quantitative Bewertungsmethoden, Qualitätsanforderungen, ATAM - Architecture Tradeoff Analysis Method, Bewertungsworkshops, Bewertungsmethoden

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul ARCEVAL vom 12. - 13. Dezember online. In dem Training mit Matthias Bohlen lernen die Teilnehmenden elementare Techniken und Methoden kennen und anwenden, um Softwarearchitekturen zu reflektieren. Beim praxisnahen Training lernen Sie in limitierter Runde mit maximal 12 Teilnehmenden.

Architekturbewertung, Qualitätsanforderungen, ATAM - Architecture Tradeoff Analysis Method, Bewertungsmethoden

Association for Computing Machinery (ACM). The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

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.

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 2024 will be the 25th edition in the series.

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.

YOUNG-nd

The Organizing Committee is pleased to announce that 2024 The 7th International Conference on Software Engineering and Information Management (ICSIM 2024) will still be held in Fiji on January 23-25, 2024, which is sponsored by the University of Fiji.

Email.: emmaawang2019@sina.com

Software Agent Technology; Middleware Design Techniques; Reliability & Modeling Analysis; e-Government Engineering; Modeling with UML; Cost Modeling and Analysis; Information Management; Business strategy and information systems; Management Information Systems; Information systems planning and management; Adoption of information technology in organizations; Human factors in information systems;

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

The emergence of new computing systems, like cloud computing, blockchains, and Internet of Things (IoT), replaces the traditional monolithic software hardware stack with a distributed heterogeneous model. This change poses new demands on the programming languages for developing such systems: compositionality, allowing decomposition of a system into smaller, possibly heterogeneous parts and composition of the individually verified parts into a verified whole; security, asserting end-to-end integrity and confidentiality; quantitative reasoning methods, accounting for timing and probabilistic events; and, as a cross-cutting concern, certification of asserted properties in terms of independently verifiable, machine-checked proofs.

Software & Support Media Group

Experience the future of software at BASTA! Spring in Frankfurt am Main, Germany! From February 12 - 16, 2024, join us for an exceptional week of learning and networking. BASTA! Spring is a German-speaking conference that brings together software architects, developers, and IT professionals to explore the latest trends, tools, and technologies in the software industry. Immerse yourself in a diverse range of sessions and workshops covering topics such as .NET, web development, cloud computing, and more. Our lineup of expert speakers will provide insights into advanced programming techniques, best practices, and real-world case studies that can help you excel in your projects. Connect with fellow attendees, expand your professional network, and explore the bustling exhibition area featuring cutting-edge solutions. Whether you're looking to deepen your skills, gain fresh perspectives, or stay up-to-date with industry innovations, BASTA! Spring is the place to be. Join us in Frankfurt am Main for an unforgettable experience at BASTA! Spring 2024.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Software Development, .NET, Web Development, Cross-Platform, DevOps, Cloud Computing, Frontend and Backend, Microservices, Mobile Development, User Interface (UI) / User Experience (UX), Architecture, Testing and Quality Assurance, Security, AI and Machine Learning, Agile and Scrum

Innovations in Software Engineering Conference, ISEC (Formerly known as India Software Engineering Conference) is the annual conference of iSOFT, the India chapter of ACM SIGSOFT (isoft.acm.org) under the umbrella of ACM India. The 17th edition of the conference will be held in International Institute of Information Technology Bangalore, India. ISEC will bring together researchers and practitioners from across the world to share the results of their work. The goal of the conference is to provide a forum for researchers and practitioners from both academia and industry to meet and share cutting-edge advancements in the field of software engineering.

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.

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.

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

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Our aim is to bring together the leading researchers on shapes, schemas, and constraints for graph data, both from academia and industry, to discuss the many open problems. The purpose of this Dagstuhl Seminar is to inform each other on how we perceive the research area; to report on brand new results; to discuss open problems and future directions; and to initiate new research.

graph databases such as RDF and property graphs

Théorie de l'information, fondations de l'informatique,    Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience.

The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) is the premier event on the theory and practice of recovering information from existing software and systems. The event explores innovative methods to extract the many kinds of information that can be recovered from software, software engineering documents, and systems artifacts, and examines innovative ways of using this information in system renewal and program understanding.

USENIX Association

SREcon is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. Our purpose is to be inclusive as we bring together ideas representative of our diverse community, whether its members are focusing on a global scale, launching new products and ideas for a small business, or pivoting their approach to unite software and systems engineering. SREcon challenges 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.

Algorithmes et structures de données,    Calcul distribué, cloud computing, informatique en périphérie

FSE 2024 is the 30th annual conference that is widely recognized as the internationally leading event in the area of symmetric cryptology. Since 2002, FSE is organized by the International Association for Cryptologic Research (IACR), a global organization with more than 1600 members that brings together researchers in cryptology. FSE focuses on fast and secure primitives for symmetric cryptography, that form the workhorse for all applications of cryptography (e.g., AES, SHA-2 and SHA-3). The event covers a broad range of practical and theoretical topics including the design and analysis of block ciphers, stream ciphers, encryption schemes, hash functions, message authentication codes, authenticated encryption schemes, cryptanalysis and evaluation tools, and secure implementations. The FSE conference event offers you the unique opportunity to meet more than 170 experts from across academia and industry.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Network calculus has become a mature and versatile methodology for the analysis of queueing systems with a broad variety of applications ranging from Internet Quality of Service (QoS), wireless networks, to Ethernet with delay guarantees, real-time systems, and feedback control. This is achieved through complementary, problem-specific representations in min-plus or max-plus algebra and the use of worst-case or statistical bounds. The goal of this Dagstuhl Seminar is to gather the deterministic and stochastic Network Calculus community, to discuss recent research activities, to identify future directions, and to strengthen cooperation.

Algorithmes et structures de données,    Réseaux, Internet

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Autonomous systems are intended to operate without human intervention over prolonged time periods, perceive their operating environment, and adapt to changes – while pursuing defined goals or generating new ones. The perception functions process the inputs of various sensors and generate an internal model of the operating environment. By relying on this model, the decision functions plan and execute the actions required to achieve the goals of the mission. To achieve safety for an autonomous system, the engineers should ensure that the perception functions can sufficiently accurately build the model of the environment, i.e., perception and establishing a context for prediction are reliable. They also seek to ensure that the planned actions are safe, i.e., decisions do not result in actions that endanger humans or other agents in the operating environment.

Réseaux de neurones et intelligence artificielle, apprentissage automatique,    Robotique, automation & mécatronique

This year’s special theme aims at taking our lively community out of the lab into the wild! Rather than outlining a thematic theme for submissions, we encourage the submission of contributions that pay special attention to - but are not limited to - which challenges are relevant to real-world environments and studies that clearly demonstrate what impacts research artifacts have to solve these challenges.

Software & Support Media GmbH

Unlock the potential of JavaScript at the International JavaScript Conference in London! From April 8 – 11, 2024, join us for an immersive four-day journey into the heart of JavaScript innovation and web development. This conference is your gateway to exploring the latest trends, tools, and techniques shaping the dynamic world of JavaScript. Immerse yourself in a diverse range of sessions and workshops covering everything from frontend frameworks and libraries to serverless architectures and progressive web apps. Our lineup of expert speakers will provide insights into advanced JavaScript concepts, best practices, and real-world case studies, equipping you with the knowledge to excel in your projects.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Angular, React, JavaScript Practices & Tools, Node.js, General Web Development, Performance, Testing & Security

Software & Support Media GmbH

Revolutionize your approach to DevOps at DevOpsCon London! From April 8 – 11, 2024, immerse yourself in a four-day exploration of the latest in DevOps practices and technologies. This conference is your key to staying ahead in the dynamic world of software delivery and IT operations. Delve into a diverse range of sessions and workshops covering continuous integration, continuous delivery, cloud-native architectures, and more. Our lineup of expert speakers will provide insights into the latest strategies, best practices, and real-world case studies, empowering you to optimize processes and enhance your team's performance.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Business & Company Culture, Cloud Platforms & Serverless, DevSecOps, Kubernetes Ecosystem, Continuous Delivery & Automation, Microservices & Software Architecture, Observability & Monitoring

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.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

There is currently an insufficient transfer of state-of-the-art research knowledge from computer science to research software engineering, and vice versa, in part leading to an incomplete understanding in computer science of the domain-specific and general challenges in research software engineering. This interactive seminar therefore brings the computer science and software engineering research community and the research software engineering community together to define a common language, and apply it to improve reciprocal knowledge transfer.

Calcul scientifique et science des données,    Physique numérique

Association for Computing Machinery (ACM)

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.

The Q-SE workshop will provide a platform for researchers and practitioners to discuss the challenges in developing software quantum software in high-level quantum languages, developing novel solutions to build correct methods for developing testing quantum programs, executing quantum software, developing best practices, and creating a research roadmap of quantum software engineering.

USENIX Association

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Code search describes the process of retrieving source code from a repository, where that source code matches a query. Whether a developer is looking for where an error was thrown, learning how to use a new-to-them API, learning a new programming language, or browsing their team’s directory to familiarize themselves with the codebase, search underpins all these activities. Beyond those human-driven software engineering processes, search is also a component in automated software engineering, such as automated program repair, code example recommendation, and clone detection. Furthermore, new generative AI tools have challenged traditional code search by presenting alternative approaches to finding and reusing code.

This Dagstuhl Seminar brings together experts in mining software repositories, human factors in software engineering, software documentation, code examples, program analysis, and industrial code search systems to bridge the gap between industry and academia and set the roadmap for the next decade of code search research.

Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa,    Mise en œuvre et applications de l'intelligence artificielle

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated synthesis of systems from specifications has been a longstanding goal of computer science. This problem has been studied by theoreticians and practitioners over decades as witnessed by an extensive and continued stream of articles related to synthesis in top-tier conferences in the field of formal methods. Despite a lot of recent progress, scalability in practical applications is still a concern. Recent advances in SAT/SMT solvers, decision tree learners, and other computational engines present an opportunity for a breakthrough in scalability. These advances have already led to powerful tools in the subarea of functional synthesis, which focuses on the synthesis of functions from relational specifications. However, much work is left to be done in order to translate these successes into scalable algorithms for more comprehensive synthesis problems, such as reactive synthesis, which aims at the automatic construction of circuits, embedded controllers, and other reactive software with complex temporal requirements. This Dagstuhl Seminar seeks to build on the recent momentum in these communities, and aims to bring together researchers in functional synthesis, reactive synthesis, and sister communities to chart the way forward. There are three broad objectives of the seminar.

Software & Support Media GmbH

Besuchen Sie uns auf der JAX 2024, der führenden Konferenz für Softwareentwickler, Architekten und IT-Profis! Vom 8. bis 11. April 2024 tauchen Sie ein in eine viertägige Reise in die Welt der modernen Technologie und Softwareinnovation. Die JAX ist Ihre Tür zu den neuesten Trends, Tools und Techniken, die die Softwareentwicklung gestalten. Tauchen Sie ein in eine vielfältige Auswahl an Sessions und Workshops zu Themen wie Java, Softwarearchitektur, Microservices und mehr. Unsere Expertensprecher geben Einblicke in fortgeschrittene Programmierkonzepte, bewährte Verfahren und Praxisbeispiele, die Sie in Ihren Projekten herausragen lassen.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Java, Software

Association for Computing Machinery (ACM)

ASPLOS, the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, is the premier academic forum for multidisciplinary computer systems research spanning hardware, software, and their interaction. It focuses on computer architecture, programming languages, operating systems, and associated areas such as networking and storage.

CIbSE is the leading Software Engineering research forum in Ibero-America. The main objective of this conference is to promote high quality scientific research in Iberoamerican countries and, thus, to support researchers in this community in the publication and discussion of their work. In addition, the conference fosters collaboration and scientific production between academics, students and the software industry.

Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy

Evènements pour étudiants en informatique,    Superordinateur et ordinateur parallèle

FLOPS 2024 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST).

FLOPS aims to bring together practitioners, researchers and implementers 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.

The 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024 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 2024 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

SEIT Lab, Department of Computer Science, University of Cyprus

Artificial Intelligence (AI) has emerged as a transformative technology, revolutionizing various industries, and its significance in Information Systems cannot be overstated. AI-powered systems have the potential to streamline operations, enhance decision-making processes, and drive innovation across organizations. From data analysis to automated processes, AI is reshaping the way we leverage information in the digital age. The relevance of AI in IS extends beyond internal operations. AI-powered predictive analytics enables organizations to forecast trends, anticipate customer needs, and optimize resource allocation. This empowers businesses to adapt swiftly to changing market dynamics, gain a competitive edge, and make proactive decisions. AI algorithms can also detect anomalies and patterns that indicate potential security breaches, contributing to robust cybersecurity measures in information systems. However, while acknowledging the benefits, it is essential to consider the ethical implications of AI in information systems. Ensuring data privacy, addressing bias in algorithms, and maintaining transparency are vital aspects that need to be carefully managed and regulated to foster trust and accountability.

Organizing Chair;     Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

Evénement multidisciplinaires ou générales en informatique,    Logiciels

The International Conference on Software Architecture (ICSA) is the premier venue for practitioners and researchers interested in software architecture, in component-based software engineering and in quality aspects of software and how these relate to the design of software architectures. ICSA has a strong tradition as a working conference (previously named Working International Conference on Software Architecture, WICSA), where researchers meet practitioners and software architects can explain the problems they face in their day-to-day work and try to influence the future of the field. ICSA 2024 is scheduled to be held at IIIT Hyderabad, India between 4th and 8th June 2024.

SEIT Lab, Department of Computer Science, University of Cyprus

The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners.

Organizing Chair;     Tél.: [+35722892693];     Email.: george@ucy.ac.cy

Software Reuse

EuroSTAR Conference

The EuroSTAR Software Testing Conference is the largest gathering of software testers and quality assurance professionals in Europe. For over 30 years, the testing community have come together at EuroSTAR to share knowledge, learn from each other and connect with the wider community.

EuroSTAR Team;     Tél.: [+353 91 514 470];     Email.: communications@eurostarconferences.com

localisation testing, software tester course, automation testing training, automated software testing training, qa software testing training, software testing quality, test automation framework, software testing, software testing training topics, mobile app qa testing, user testing sites, software testing tools

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

It is common practice to test compilers with fuzzers that generate test programs. There have been recent advantages in language agnostic general fuzzers that can be configured with the semantics of the programming languages for which they then generate codes. Compiler writers also face submissions of codes that causes bugs during compilation. To track down the root cause of the bug in the compiler it is crucial to reduce such programs to the small core that triggers the bug. It is common practice to use programming language specific reducers to boil down bugs to their cores. Little work has been done on the challenges of language agnostic program reduction - this is the focus of this research stay.

Théorie des graphes et combinatoire,    Algorithmes et structures de données

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.

SEIT Lab, Department of Computer Science, University of Cyprus

General Chair;     Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

Complex Systems, Ubiquitous Computing

Association for Computing Machinery (ACM)

For 60 years, DAC has been the premier destination for the entire ecosystem devoted to the design and design automation of electronic circuits and systems. DAC offers the electronic design ecosystem outstanding education, training, exhibits and networking opportunities for a worldwide community of chip & system designers, researchers, academics, executives, and electronic design tool vendors to engage and reconnect. #60DAC is your chance to attend and see this event in action with top presentations.

PLDI is a premier forum for programming language research, broadly construed. Outstanding research that extends and/or applies programming-language concepts to advance the field of computing is welcome. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all in scope for PLDI.

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The STAF federated event runs annually.

USENIX Association

USENIX Association

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Most networked applications spend a significant amount of time on communication, and the software libraries and hardware used for communication often determines their performance (both throughput and latency), and their resource requirements. In the past decade, we have seen several efforts to improve communication performance and efficiency at the end-host. These include kernel bypass libraries such as DPDK, new kernel interfaces such as io_uring, in-kernel network offloads provided by XDP and eBPF, and SmartNICs of a variety of types. Each of these approaches makes trade-offs in terms of their performance, how easily they can be deployed (in private clusters and multi-tenant environments), their resource requirement, the reliability they provide, and how easy it is for programmers to use them when building networked applications. We are organizing this Dagstuhl Seminar to bring together people who work on systems, networking, programming languages, compilers, computer architecture, and distributed systems to work together to articulate and understand these trade-offs, and collectively propose approaches to improve usability, reliability, deployability, and analysis of high-performance networking software and hardware.

Matériel informatique,    Réseaux, Internet

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.

In a world increasingly driven by software, the role of a software engineer has never been more paramount. From the smartphones in our hands to the most intricate space exploration missions, software systems are at the very heart. Yet, as these systems continue to evolve in size, complexity, and importance, the education and training methods to prepare the next generation of software engineers must be equally adaptive and forward-looking. Over the past three decades, Software Engineering Education and Training (SEE&T) has continually risen to these evolving challenges. Initially, the focus was on defining the role of software engineers and how SEE&T integrates into broader engineering and computer science curricula. The current landscape, however, is shifting the focus towards enhanced knowledge transfer, emphasizing experiential learning, and aligning academic teaching with real-world industrial demands. The importance of effective communication, whether with clients or peers, the rising trend of project-based and problem-driven learning methodologies, and the symbiotic relationship between academia and industry form the very essence of modern SEE&T.

Pédagogie de la science,    Éducation

The IEEE Symposium on Visual Languages and Human-Centric Computing 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.

Association for Computing Machinery (ACM)

ICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery (ACM) under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Processing (IFIP). ICFP combined two former biennial conferences: Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP) ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.

ECOOP 2024: ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense.

ISSTA 2024: The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

MODELS, the ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998, MODELS has covered all aspects of modeling, from languages and methods to tools and applications. Attendees of MODELS come from diverse backgrounds, including researchers, academics, engineers, and industrial professionals. MODELS 2024 is a forum for participants to exchange cutting-edge research results and innovative practical experiences around modeling and model-driven software and systems. This year’s edition will provide an opportunity for the modeling community to further advance the foundations of modeling, and come up with innovative applications of modeling in emerging areas of cyber-physical systems, embedded systems, socio-technical systems, cloud computing, big data, machine learning, security, open source, and sustainability.

Software & Support Media GmbH

Welcome to JAX London 2024! From September 30 to October 3, 2024, join us for an immersive four-day experience diving deep into the world of cutting-edge technology and software innovation. JAX is your gateway to explore the latest trends, tools, and techniques shaping the software development landscape. Delve into a diverse range of sessions and workshops covering topics such as Java, software architecture, microservices, and more. Our lineup of expert speakers will provide insights into advanced programming concepts, best practices, and real-world case studies, empowering you to excel in your projects.

Tél.: [+4917693102012];     Email.: marketing@sandsmedia.com

The International Conference on Software Maintenance and Evolution is the premier international forum for researchers and practitioners from academia, industry, and government to present, discuss, and debate the most recent ideas, experiences, and challenges in software maintenance and evolution.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated programming refers to techniques that suggest newly written code, e.g., in the form of code completion tools. Techniques for automated programming include large language models that predict code based on natural language specifications of the intended behavior. The recent development of technologies like Codex and ChatGPT have made us examine the possibility of automated programming in the future. Automated program repair refers to a suite of techniques for automated rectification of errors or vulnerabilities in programs. Automated program repair technologies were originally developed for reducing the debugging effort for manually written code. However, interestingly these techniques can be adapted to improve automatically generated code. This Dagstuhl Seminar will explore the intersection of these two fields.

Mise en œuvre et applications de l'intelligence artificielle,    Traitement automatique des langues, Linguistique informatique

The ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) is the premier conference for presenting research results related to empirical software engineering. ESEM provides a stimulating forum where researchers and practitioners can present and discuss recent research results on a wide range of topics, in addition to exchanging ideas, experiences, and challenging problems.

The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.

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.

USENIX Association

SREcon24 Europe/Middle East/Africa 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.

Algorithmes et structures de données,    Superordinateur et ordinateur parallèle

Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy

Logiciels,    Calcul scientifique et science des données

Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy

Électronique,    Matériel informatique

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

In this Dagstuhl Seminar, we will address several of the arising questions in the context of circuit and formula sizes, meta-complexity, proof complexity, fine-grained complexity, communication complexity, and classical computational complexity. In each area, powerful tools for proving lower and upper bounds are known, but particularly interesting and powerful results often arise from establishing connections between the fields. By bringing together a diverse group of leading experts and promising young researchers in these areas, the seminar will be an ideal place to discover new, further connections.

USENIX Association

SREcon is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. Our purpose is to be inclusive as we bring together ideas representative of our diverse community, whether its members are focusing on a global scale, launching new products and ideas for a small business, or pivoting their approach to unite software and systems engineering. SREcon challenges 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.

Algorithmes et structures de données,    Superordinateur et ordinateur parallèle

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 26-May 4 2025 in Ottawa. Core conference days will be Wednesday April 30 to Friday May 2. ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss research results, innovations, trends, experiences and issues in the field of software engineering.