Conférences  >  Informatique  >  Génie logiciel  >  Royaume-Uni

Sélecionner un pays
1
Dafny 2024 — Dafny is a verification-aware programming language that has native support for specifications and proofs, and is equipped with an auto-active static program verifier. The workshop aims to provide a platform for reports about applications of Dafny in indus
14 jan 2024 • Londres, Royaume-Uni
Identifiant de l'évènement:
1583581
2
POPL '24 — The 50th Annual ACM SIGPLAN Symposium on Principles of Programming Languages
14 jan 2024 - 20 jan 2024 • Londres, Royaume-Uni
Organisateur:
Association for Computing Machinery (ACM). The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.
Résumé:
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.
Identifiant de l'évènement:
1574341
3
VMCAI 2024 — 25th International Conference on Verification, Model Checking, and Abstract Interpretation
15 jan 2024 - 16 jan 2024 • Londres, Royaume-Uni
Résumé:
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.
Identifiant de l'évènement:
1583572
4
POPL 2024 — 51st ACM SIGPLAN Symposium on Principles of Programming Languages
17 jan 2024 - 19 jan 2024 • Londres, Royaume-Uni
Résumé:
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.
Identifiant de l'évènement:
1567525
5
CC 2024 — ACM SIGPLAN 2024 International Conference on Compiler Construction
02 mar 2024 - 03 mar 2024 • Edinburgh, Royaume-Uni
Résumé:
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.
Identifiant de l'évènement:
1567527
6
CGO 2024 — IEEE/ACM International Symposium on Code Generation and Optimization
02 mar 2024 - 06 mar 2024 • Edinburgh, Royaume-Uni
Résumé:
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.
Identifiant de l'évènement:
1567518
7
PPoPP 2024 — ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 2024
02 mar 2024 - 06 mar 2024 • Edinburgh, Royaume-Uni
Résumé:
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
Identifiant de l'évènement:
1567462
8
iJS London — International JavaScript Conference London 2024
08 avr 2024 - 11 avr 2024 • Londres, Royaume-Uni
Organisateur:
Software & Support Media GmbH
Résumé:
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.
Contact:
Tél.: [017693102012];     Email.: marketing@sandsmedia.com
Sujets:
Angular, React, JavaScript Practices & Tools, Node.js, General Web Development, Performance, Testing & Security
Identifiant de l'évènement:
1582874
9
DevOpsCon — DevOpsCon London 2024
08 avr 2024 - 11 avr 2024 • Londres, Royaume-Uni
Organisateur:
Software & Support Media GmbH
Résumé:
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.
Contact:
Tél.: [017693102012];     Email.: marketing@sandsmedia.com
Sujets:
Business & Company Culture, Cloud Platforms & Serverless, DevSecOps, Kubernetes Ecosystem, Continuous Delivery & Automation, Microservices & Software Architecture, Observability & Monitoring
Identifiant de l'évènement:
1582884
10
AofA2024 — 35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
17 jui 2024 - 21 jui 2024 • University of Bath, Royaume-Uni
Identifiant de l'évènement:
1589074
11
VL/HCC 2024 — IEEE Symposium on Visual Languages and Human-Centric Computing
02 sep 2024 - 06 sep 2024 • Liverpool, Royaume-Uni
Résumé:
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.
Date limite de soumission des résumés:
19 avr 2024
Identifiant de l'évènement:
1589337


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 23 novembre 2023