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

Sélecionner un pays
1
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:
1589348
2
Big Specification: Specification, Proof, and Testing at Scale
07 oct 2024 - 11 oct 2024 • Cambridge , Royaume-Uni
Organisateur:
Isaac Newton Institute for Mathematical Sciences
Résumé:
Assurance of an implementation of any layer of the software stack requires an accurate specification of it -- and those specifications can be incredibly massive. Working with such large specifications creates extremely difficult problems, ranging from the purely bureaucratic (how can editors update such specifications in such a way that they have confidence that all needed updates happen in sync), to engineering (tools such as model checkers and proof assistants can start crashing in the face of massive specs), to the scientific (how can we know that a large spec has the properties we hope it does). Despite being difficulties, these difficulties are fundamentally good to have: the field has matured to the point where understanding how to write, maintain, and use large specifications is an important immediate problem, rather than a problem we hope to have in the future. This workshop gathers experts from across the spectrum of verification and assurance to share our experiences developing, using, and maintaining the kinds of complex specifications needed to engineer practical computer systems.
Identifiant de l'évènement:
1623375
3
QCon London — QCon London International Software Development Conference
07 avr 2025 - 09 avr 2025 • Londres, Royaume-Uni
Organisateur:
QCon by InfoQ
Résumé:
Find practical inspiration (not product pitches) from senior software leaders deep in the trenches, creating software, scaling architectures, and fine-tuning their technical leadership to help you make the right decisions.
Contact:
QCon team;     Email.: info@qconlondon.com
Sujets:
Development, Architecture, Engineering, Product Management, Software architecture, Software development, Software engineering, API, Machine learning, Mlops, Microservices, Java, Green Tech, Rust, WASM, eBPF, Scalable Configuration Management, Infrastructure Unification, Cue Lang, MLOps, Team Topologies, Staff+ Engineer Path, Service Meshes, Microfrontends, Multicloud Practices, Software Ethics, Fast Flow, java, DevSecOps, DevOps, Kubernetes, data.GraphQL, Macroservices, hybrid, remote, teams
Identifiant de l'évènement:
1627831
4
EuroSTAR Conference 2025
03 jui 2025 - 06 jui 2025 • Edinburgh, Royaume-Uni
Organisateur:
EuroSTAR Conference
Résumé:
For three decades, the EuroSTAR Software Testing Conference has been the largest gathering of testers and quality assurance professionals in Europe. Hosted over four days, the conference takes place in a different European city each year and features over sixty speakers, non-stop networking and the largest testing EXPO in Europe. We are always innovating and organise additional events focusing on specific topics or geographies. Throughout the year, we provide a free learning platform, EuroSTARHuddle.com which is an active online community designed to help software testers fulfil their professional potential.
Contact:
Tél.: [+353 91 41 6000];     Email.: info@eurostarconferences.com
Sujets:
Software testing, ai in testing, ai, test automation, cybersecurity, api, devops, test automation frameworks, robotics, python, performance testing, exploratory testing,
Identifiant de l'évènement:
1629581


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: 19 juillet 2024