Conférences - Génie logiciel

Sélecionner un pays
TOUS LES PAYS (77)
1
VMCAI 2020 — 21st International Conference on Verification, Model Checking, and Abstract Interpretation
19 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
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 2020 will be the 21st edition in the series.
Identifiant de l'évènement:
1239614
2
POPL 2020 — 47th ACM SIGPLAN Symposium on Principles of Programming Languages
19 jan 2020 - 25 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
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:
1239659
3
VMCAI — Verification, Model Checking and Abstract Interpretation
19 jan 2020 - 25 jan 2020 • New Orleans, États-Unis
Identifiant de l'évènement:
1249730
4
CPP 2020 — The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
20 jan 2020 - 21 jan 2020 • New Orleans, Louisiana, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with the production of independently checkable certificates. CPP spans areas of computer science, mathematics, logic, and education.
Identifiant de l'évènement:
1239572
5
TSOA-ID — Tri-Service Open Architecture Interoperability Demonstration
29 jan 2020 • Atlanta, États-Unis
Organisateur:
NAVAIR, PMA-209
Résumé:
Showcase of never-before-seen developments in the growing open market ecosystem. Live demonstrations on Systems Acquisition and Integration, Module Specification and Development, Conformance (qualification) and Open Systems Realization. Find out exactly how the new maturity of modular open systems approach technology will greatly increase defense program efficiency, accelerate the acquisition of the latest capabilities, and improve adaptability in currently fielded systems.
Contact:
Tél.: [5037058651];     Email.: sally@sallybixby.com
Sujets:
technology, hardware, software, modularopensystems, sosa, cmoss,
Identifiant de l'évènement:
1274925
Sujets apparentés:
6
SANER — International Conference on Software Analysis, Evolution, and Reengineering
16 fév 2020 - 19 fév 2020 • London, Ontario, Canada
Identifiant de l'évènement:
1249900
7
PpoPP 2020 — ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming
22 fév 2020 - 26 fév 2020 • San Diego, California, États-Unis
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
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:
1239580
8
HPCA — IEEE International Symposium on High Performance Computer Architecture
22 fév 2020 - 26 fév 2020 • San Diego, États-Unis
Identifiant de l'évènement:
1242475
Sujets apparentés:
9
CGO — International Symposium on Code Generation and Optimization
22 fév 2020 - 26 fév 2020 • San Diego, États-Unis
Identifiant de l'évènement:
1249574
Page web:
10
sec4dev Conference and Bootcamp
24 fév 2020 - 27 fév 2020 • Vienne, Autriche
Résumé:
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. We focus on practical, applicable, hands-on, and security-related contents for folks involved in software development. Apart from technical aspects, sec4dev also covers organizational, legal, and process-related topics in order to reach one goal: making security a first-class citizen in the world of software development.
Contact:
Tél.: [+43 (1) 505 36 88];     Email.: info@sec4dev.io
Sujets:
Secure coding, secure desgin and architecture, Threat modeling, Secure development process, IoT security, Continuous integration and DevSecOps, Container security, Cloud security
Identifiant de l'évènement:
1269884
11
FAST ‘20 — 18th USENIX Conference on File and Storage Technologies
24 fév 2020 - 27 fév 2020 • Santa Clara, CA, États-Unis
Organisateur:
USENIX in cooperation with ACM SIGOPS
Résumé:
The 18th USENIX Conference on File and Storage Technologies (FAST '20) will take place on February 24–27, 2020, 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.
Identifiant de l'évènement:
1257257
12
MODELSWARD 2020 — 8th International Conference on Model-Driven Engineering and Software Development
25 fév 2020 - 27 fév 2020 • Valletta, Malte
Organisateur:
INSTICC - Institute for Systems and Technologies of Information, Control and Communication
Résumé:
The purpose of the International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, 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.
Identifiant de l'évènement:
1226810
13
NSDI ‘20 — 17th USENIX Symposium on Networked Systems Design and Implementation
25 fév 2020 - 27 fév 2020 • Santa Clara, CA, États-Unis
Organisateur:
USENIX in cooperation with ACM SIGCOMM and ACM SIGOPS
Résumé:
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.
Identifiant de l'évènement:
1257236
Sujets apparentés:
14
QA&TEST Saf Sec — QA&TEST Safety and Security
26 fév 2020 - 27 fév 2020 • Madrid, Espagne
Organisateur:
Software Quality Systems, S.A.
Résumé:
Nowadays there are many conferences whose topic is cybersecurity but QA&TEST Safety and Security is not a cybersecurity conference but addresses a specific problem that is essential if we want to develop “smart” solutions (Smart energy, Smart connected car …) such as the aspects of Safety and Security. In most cases these two terms are treated as separate disciplines and the approach to both concepts or requirements is also done separately, with different teams involved in different phases of system development. The integration of both factors is not sufficiently explored or considered. In fact, measures adopted to mitigate risks that affect safety can be contradictory with security requirements and vice versa. Currently it is not easy to access methodologies, techniques, tools or standards that allow us to effectively face the technical, regulatory, organizational and market challenges that such integration demands and thus, as a result of this reflection, the QA&TEST Safety and Security conference was born last year, with the aim of offering our attendees a meeting point between professionals from different sectors to have access to the approaches and good practices in the different sectors, with the ultimate aim of being able to develop more competitive and robust solutions for the market with controlled levels of effort and cost.
Contact:
QA&TEST Secretariat;     Tél.: [+34944804617];     Email.: info@qatest.org
Identifiant de l'évènement:
1316830
15
DATE — Design, Automation and Test in Europe Conference and Exhibition
09 mar 2020 - 13 mar 2020 • Grenoble, France
Identifiant de l'évènement:
1251066
16
Java Script Days
16 mar 2020 - 19 mar 2020 • Munich, Allemagne
Organisateur:
Software & Support Media Group
Résumé:
Auf den JavaScript Days, Angular Days, React Days und HTML & CSS Days vermittelt Ihnen eine Auswahl erstklassiger Experten tiefgehend, wie Sie JavaScript- und HTML-basierte Anwendungen optimal planen und erfolgreich realisieren, welche Stärken und Schwächen die verschiedenen Technologien haben oder wie Sie bei der Wahl einer geeigneten Architektur vorgehen sollten.
Contact:
Tél.: [+49(0)30-2148066-53];     Email.: cguminski@sandsmedia.com
Identifiant de l'évènement:
1306680
17
ASPLOS 2020 — 25th International Conference on Architectural Support for Programming Languages and Operating Systems
16 mar 2020 - 20 mar 2020 • Lausanne, Suisse
Résumé:
ASPLOS is the premier forum for interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers, operating systems, and networking.
Identifiant de l'évènement:
1260006
Sujets apparentés:
18
VEE 2020 — 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
17 mar 2020 • Lausanne, Suisse
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization and broaden its applicability.
Identifiant de l'évènement:
1239590
19
‹Programming› 2020 — 4th International Conference on the Art, Science, and Engineering of Programming
23 mar 2020 - 26 mar 2020 • Porto, Portugal
Résumé:
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.
Identifiant de l'évènement:
1239600
20
ICST — IEEE International Conference on Software Testing, Verification and Validation
23 mar 2020 - 27 mar 2020 • Porto, Portugal
Identifiant de l'évènement:
1249455
21
REFSQ — International Conference on Requirements Engineering
24 mar 2020 - 27 mar 2020 • Pise, Italie
Identifiant de l'évènement:
1250102
22
MobileTech Conference & Summit
30 mar 2020 - 01 avr 2020 • Munich, Allemagne
Organisateur:
Software & Support Media Group
Résumé:
Das Konferenz- und Trainingsevent für Mobile Development. Weniger Theorie, mehr Praxis! Die MobileTechCon bietet zwei Workshoptage und einen Konferenztag. In ihren praxisnahen halb- und ganztägigen Workshops vermitteln die Trainer wertvolles Praxis-Know-how zu mobiler Produktentwicklung. Im Fokus des Konferenz- und Trainingsevents stehen iOS, Android, sowie Progressive Web Apps mit Angular, mobile Backends und User Experience (UX).
Contact:
Tél.: [+49(0)30-2148066-53];     Email.: cguminski@sandsmedia.com
Identifiant de l'évènement:
1305918
Sujets apparentés:
23
ISPASS-2020 — 2020 IEEE International Symposium on Performance Analysis of Systems and Software
05 avr 2020 - 07 avr 2020 • Boston, États-Unis
Identifiant de l'évènement:
1265339
24
SPICE 2020 — 19th International SPICE Conference: Software Process Improvement and Capability Determination
06 avr 2020 - 08 avr 2020 • Roskilde University, Danemark
Organisateur:
The conference is hosted on behalf of the SPICE User Group by Roskilde University.
Identifiant de l'évènement:
1282574
25
EASE — International Conference on Evaluation and Assessment in Software Engineering
15 avr 2020 - 17 avr 2020 • Trondheim, Norvège
Identifiant de l'évènement:
1249947
26
TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems
25 avr 2020 - 01 mai 2020 • Dublin, Irlande
Identifiant de l'évènement:
1249226
27
ESOP — European Symposium on Programming
25 avr 2020 - 01 mai 2020 • Dublin, Irlande
Identifiant de l'évènement:
1249471
28
FASE — International Conference on Fundamental Approaches to Software Engineering
25 avr 2020 - 01 mai 2020 • Dublin, Irlande
Identifiant de l'évènement:
1250047
29
ICEIS 2020 — 22nd International Conference on Enterprise Information Systems
05 mai 2020 - 07 mai 2020 • Prague, République tchèque
Organisateur:
INSTICC – Institute for Systems and Technologies of Information, Control and Communication
Résumé:
The purpose of the 22nd International Conference on Enterprise Information Systems (ICEIS) is to bring together researchers, engineers and practitioners interested in the advances and business applications of information systems. Six simultaneous tracks will be held, covering different aspects of Enterprise Information Systems Applications, including Enterprise Database Technology, Systems Integration, Artificial Intelligence, Decision Support Systems, Information Systems Analysis and Specification, Internet Computing, Electronic Commerce, Human Factors and Enterprise Architecture.
Sujets:
1 . Databases and Information Systems Integration, 2 . Artificial Intelligence and Decision Support Systems, 3 . Information Systems Analysis and Specification, 4 . Software Agents and Internet Computing5 . Human-Computer Interaction, 6 . Enterprise Architecture
Identifiant de l'évènement:
1226761
30
IEEE ISORC — International Symposium on Real-Time Distributed Computing
19 mai 2020 - 21 mai 2020 • Nashville, États-Unis
Résumé:
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. In addition to the main conference, ISORC 2020 will host a special session dedicated to posters and demos, where participants will be able to show prototypes, tools, simulators and systems, which demonstrate the applicability of real-time computing to different applications. Best papers from ISORC 2020 will be invited for submission to a Special Issue of the Elsevier Journal of Systems Architecture (JSA).
Identifiant de l'évènement:
1300698
31
RCIS 2020 — 14th International Conference on Research Challenges in Information Science
20 mai 2020 - 22 mai 2020 • Limassol, Chypre
Résumé:
The goal of RCIS is to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and provide opportunities for knowledge sharing and dissemination. RCIS has become a recognised conference on research challenges in information sciences. Organised for the 14th time in a row, RCIS 2020 will be held from May 20-22, 2020, in Limassol, Cyprus.
Identifiant de l'évènement:
1265105
32
ICSSP 2020 — International Conference on Software and System Process
23 mai 2020 - 24 mai 2020 • Seoul, Corée du Sud
Organisateur:
International Software and Systems Process Association – ISSPA
Résumé:
Software engineering continuously reinvents the way software and software intensive systems are built. Just in February 2018, Bombardier and Siemens announced significant investments in optimizing their product development processes. Tesla is trying to revolutionize the automotive market by implementing continuous delivery in safety critical systems. Appreciation of the implications of blockchain technology for software and systems processes is starting to grow. In this evolving landscape, many companies are making efforts to move towards new technologies and tools, agile principles, and continuous integration and delivery. In doing so, they find opportunity, flexibility, and strength in evolving toward hybrid processes, which are neither purely traditional nor can count as text-book agile. ICSSP 2020 will provide a special platform for research focusing on hybrid processes for software and systems development as well as the factors driving their evolution.
Sujets:
Synergies of AI, Serverless, and Software and Systems Processes
Identifiant de l'évènement:
1292774
33
ICSE 2020 — 42nd International Conference on Software Engineering®
23 mai 2020 - 29 mai 2020 • Seoul, Corée du Sud
Résumé:
ICSE, the International Conference on Software Engineering, is the premier software engineering conference 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.
Identifiant de l'évènement:
1095160
34
ICGSE — IEEE International Conference on Global Software Engineering
23 mai 2020 - 30 mai 2020 • Seoul, Corée du Sud
Identifiant de l'évènement:
1275642
35
ISCA — International Symposium on Computer Architecture
30 mai 2020 - 03 jui 2020 • Valencia, Espagne
Identifiant de l'évènement:
1275435
36
XP 2020 — 21st International Conference on Agile Software Development
08 jui 2020 - 12 jui 2020 • Copenhagen, Danemark
Résumé:
XP is the premier Agile software development conference combining research and practice. It is a unique forum where Agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Whether you are new to Agile or a seasoned Agile practitioner, XP 2020 will provide an informal environment to learn and trigger discussions. XP 2020 marks the 21st edition of the “First Conference in Agile”.
Identifiant de l'évènement:
1293224
37
CaiSE — International Conference on Advanced Information Systems Engineering
08 jui 2020 - 12 jui 2020 • Grenoble, France
Identifiant de l'évènement:
1249691
38
HOPL IV — History of Programming Languages
14 jui 2020 - 16 jui 2020 • Londres, Royaume-Uni
Organisateur:
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Résumé:
The History of Programming Languages conference series produces accurate historical records and descriptions of programming language design, development, and philosophy. It is infrequently held: the first three were in 1978, 1993, and 2007. It’s now time for HOPL-IV, to be collocated with PLDI 2020 at the Royal Geographical Society in London.
Identifiant de l'évènement:
1239643
39
PODS — ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
14 jui 2020 - 19 jui 2020 • Portland, États-Unis
Identifiant de l'évènement:
1249640
40
ICAPS : International Conference on Automated Planning and Scheduling
15 jui 2020 - 19 jui 2020 • Nancy, France
Identifiant de l'évènement:
1254596
41
PLDI — ACM SIGPLAN Conference on Programming Language Design and Implementation
15 jui 2020 - 20 jui 2020 • Londres, Royaume-Uni
Identifiant de l'évènement:
1251019
42
SEPA 2019 — 12th International Symposium on Software Engineering Processes and Applications
01 jul 2020 - 04 jul 2020 • Cagliari, Italie
Organisateur:
University of Cagliari, Italy.
Contact:
Tél.: [+2347030851086];     Email.: sanjay.misra@covenantuniversity.edu.ng
Sujets:
process models, the development process for different software platforms (e.g. social networks, cloud), the process for adaptive, dependable, embedded, systems, agile development, software engineering practices, requirements, system and design engineering including architectural design, component level design, formal methods, software modeling, testing strategies and tactics, process and product metrics, Web Engineering, project management, risk management, and configuration management.
Identifiant de l'évènement:
1316723
43
ISSQ 2020 — 11th International Symposium on Software Quality
01 jul 2020 - 04 jul 2020 • Cagliari, Italie
Organisateur:
University of Cagliari, Italy.
Contact:
Tél.: [+2347030851086];     Email.: sanjay.misra@covenantuniversity.edu.ng
Sujets:
Topics include (related to quality issues in software, software applications in any related area-cloud, agile, IoT, Big data, smart applications) but not limited to: 1. Software development fundamentals, 2. Extreme Programming (XP), Agile, Scrum, 3. Software requirements techniques, 4. Software testing & QA fundamentals, 5. Software testing models and approaches, 6. Software testing tools and frameworks, 7. Software test design, 8. Types of software maintenance, 9. Software maintenance process models, 10. Software maintenance standards, 11. Software maintenance tools 12. Software Reviews (SR) 13. Software Metrics (SM) 14. Software Process Assessment (SPA) 15. Software Process Improvement (SPI) 16. Software Standardization and Certification
Identifiant de l'évènement:
1316733
44
SAT 2020 — 23rd International Conference on Theory and Applications of Satisfiability Testing
05 jul 2020 - 09 jul 2020 • Alghero, Italie
Résumé:
The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques including problems that arise in Formal Verification, Artificial Intelligence, operations Research, Computational Biology, Cryptography, Data Mining, Machine Learning, Mathematics, etc. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2020 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability.
Identifiant de l'évènement:
1293153
45
IEEE ICWS — IEEE International Conference on Web Services
06 jul 2020 - 11 jul 2020 • Pékin, Chine
Organisateur:
University of Thessaly
Identifiant de l'évènement:
1282534
46
ECRTS — Euromicro Conference on Real-Time Systems
07 jul 2020 - 10 jul 2020 • Modena, Italie
Identifiant de l'évènement:
1275554
47
IEEE SCC 2020 — IEEE International Conference on Services Computing
07 jul 2020 - 11 jul 2020 • Pékin, Chine
Résumé:
Services account for a major part of the IT industry today. Companies increasingly like to focus on their core expertise area and use IT services to address all their peripheral needs. Services Computing is a new science which aims to study and better understand the foundations of this highly popular industry. It covers the science and technology of leveraging computing and information technology to model, create, operate, and manage business services. Like its predecessors, SCC 2020 will contribute in building the pillars of this important science and shaping the future of Services Computing.
Identifiant de l'évènement:
1293269
48
ICALP 2020 — 47th International Colloquium on Automata, Languages and Programming
08 jul 2020 - 12 jul 2020 • Pékin, Chine
Organisateur:
European Association for Theoretical Computer Science (EATCS)
Résumé:
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.
Identifiant de l'évènement:
1294068
49
SEKE 2020 — 32nd International Conference on Software Engineering & Knowledge Engineering
09 jul 2020 - 11 jul 2020 • Pittsburgh, PA, États-Unis
Organisateur:
Wyndham Pittsburgh University Center, Pittsburgh
Résumé:
The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Special emphasis will be put on the transference of methods between both domains. The theme this year is big data and software engineering & knowledge engineering.
Identifiant de l'évènement:
1307298
50
ECOOP 2020 — European Conference on Object-oriented Programming, 34th edition of ECOOP
13 jul 2020 - 17 jul 2020 • Berlin, Allemagne
Résumé:
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense.
Identifiant de l'évènement:
1293152
51
ACT — USENIX Annual Technical Conference
15 jul 2020 - 17 jul 2020 • Boston, États-Unis
Identifiant de l'évènement:
1251079
Sujets apparentés:
52
SPAA '20 — 32nd ACM Symposium on Parallelism in Algorithms and Architectures
15 jul 2020 - 17 jul 2020 • Philadelphia, États-Unis
Organisateur:
ACM Special Interest Groups on Algorithms and Computation Theory (SIGACT) and Computer Architecture (SIGARCH) and organized in cooperation with the European Association for Theoretical Computer Science
Identifiant de l'évènement:
1265307
53
ISSTA 2020 — ACM SIGSOFT International Symposium on Software Testing and Analysis
18 jul 2020 - 22 jul 2020 • Los Angeles, États-Unis
Résumé:
The ACM SIGSOFT International Symposium on Software Testing and Analysis 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
Identifiant de l'évènement:
1293972
54
CAV : International Conference on Computer Aided Verification
19 jul 2020 - 24 jul 2020 • Los Angeles, États-Unis
Identifiant de l'évènement:
1269365
55
CCC — Conference on Computational Complexity
28 jul 2020 - 31 jul 2020 • Saarbruecken, Allemagne
Organisateur:
Computational Complexity Foundation (CCF)
Résumé:
The Computational Complexity Conference (CCC) is an annual conference on the inherent difficulty of computational problems in terms of the resources they require.
Identifiant de l'évènement:
1293162
56
ESSLLI 2020 — 32nd European Summer School in Logic, Language and Information
03 aou 2020 - 13 aou 2020 • Utrecht, Pays-Bas
Résumé:
Under the auspices of FoLLI the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place over two weeks in the European Summer, hosts approximately 50 different courses at both the introductory and advanced levels, attracting around 400 participants each year from all the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. Proposals for courses and workshops are invited in all areas of Logic, Linguistics and Computation. Cross-disciplinary and innovative topics are encouraged. Each course/workshop will consist of five 90-minute sessions, offered daily in a single week. Proposals for 2-week courses should be structured and submitted as two independent one-week courses. The ESSLLI program committee reserves the right to accept just one of the two proposals. The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal.
Identifiant de l'évènement:
1227779
57
SIGCOMM — ACM SIGCOMM Conference
10 aou 2020 - 14 aou 2020 • New York City, États-Unis
Résumé:
SIGCOMM is the flagship annual conference of the ACM Special Interest Group on Data Communication (SIGCOMM) on the applications, technologies, architectures, and protocols for computer communication.
Identifiant de l'évènement:
1307194
58
ICPP — International Conference on Parallel Processing
17 aou 2020 - 20 aou 2020 • Edmonton, Canada
Identifiant de l'évènement:
1275616
59
ICFP — International Conference on Functional Programming
24 aou 2020 - 26 aou 2020 • Jersey City, États-Unis
Identifiant de l'évènement:
1275578
Sujets apparentés:
60
ARES 2020 — 15th International Conference on Availability, Reliability and Security
24 aou 2020 - 28 aou 2020 • Dublin, Irlande
Résumé:
ARES will emphasize the interplay between foundations and practical issues of dependability in emerging areas such as e-government, m-government, location-based applications, ubiquitous computing, autonomous computing, chances of grid computing etc. ARES is devoted to the critical examination and research challenges of the various aspects of Dependable Computing and the definition of a future road map.
Identifiant de l'évènement:
1308366
61
ADBIS 2020 — 24th European Conference on Advances in Databases and Information Systems
25 aou 2020 - 28 aou 2020 • Lyon, France
Résumé:
The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications.
Identifiant de l'évènement:
1265206
62
SEAA 2020 — 46th Euromicro Conference on Software Engineering and Advanced Applications
26 aou 2020 - 28 aou 2020 • Portorož, Slovénie
Résumé:
The Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) is a long-standing international forum for researchers, practitioners, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems.
Identifiant de l'évènement:
1308376
63
CTAC 2020 — 20th Biennial Computational Techniques and Applications Conference
30 aou 2020 - 02 sep 2020 • Sydney, Australie
Organisateur:
UNSW Sydney
Résumé:
Our aim is to conduct a high-quality conference on computational mathematics; scientific, technical and industrial applications; and high-performance computing.
Identifiant de l'évènement:
1300934
Sujets apparentés:
64
RE — IEEE International Requirements Engineering Conference
31 aou 2020 - 04 sep 2020 • Zurich, Suisse
Résumé:
The transition toward a digital world entails numerous challenges for requirements engineering (RE), involving both classic and contemporary problems. An example of a classic problem is to specify digital systems that must satisfy requirements in the real world. Examples of contemporary problems are mining requirements from user feedback, intertwining requirements with digital design in innovative products, and how to specify and validate requirements for intelligent and self-learning systems. The challenges also include general problems during the transition toward a digital world such as managing uncertainty, establishing transparency and maintaining trust. The IEEE International Requirements Engineering Conference is the premier requirements engineering conference, where researchers, practitioners, students and educators meet, present and discuss the most recent innovations, trends, experiences and issues in the field of RE.
Identifiant de l'évènement:
1293100
Page web:
65
ECSA 2020 — 14th European Conference on Software Architecture
14 sep 2020 - 18 sep 2020 • L'Aquila, Italie
Résumé:
The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice.
Identifiant de l'évènement:
1308408
66
SCAM — IEEE International Working Conference on Source Code Analysis and Manipulation
26 sep 2020 - 27 sep 2020 • Adelaide, Australie
Identifiant de l'évènement:
1307211
67
ICSME — 36th IEEE International Conference on Software Maintenance and Evolution
28 sep 2020 - 02 oct 2020 • Adelaide, Australie
Résumé:
The International Conference on Software Maintenance and Evolution (ICSME) 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. ICSME 2020, the 36th in the conference series, will be held in Adelaide, Australia.
Identifiant de l'évènement:
1294047
68
SBSE 2020 — 12th Symposium on Search-Based Software Engineering
07 oct 2020 - 08 oct 2020 • Bari, Italie
Résumé:
Search-based Software Engineering (SBSE) is a research area focused on the formulation of software engineering problems as search problems, and the subsequent use of complex heuristic techniques to attain optimal solutions to such problems. A wealth of engineering challenges – from test generation, to design refactoring, to process organization – can be solved efficiently through the application of automated optimization techniques. SBSE is a growing field – sitting at the crossroads between AI, machine learning, and software engineering – and SBSE techniques have begun to attain human-competitive results. The Symposium on Search-Based Software Engineering is a venue dedicated to the SBSE research field. The 12th symposium will be held this year in Bari, Italy, co-located with the Empirical Software Engineering International Week (ESEIW 2020).
Identifiant de l'évènement:
1308351
69
ICMI — 22nd ACM International Conference on Multimodal Interaction
11 oct 2020 - 15 oct 2020 • Utrecht, Pays-Bas
Résumé:
The 22nd ACM International Conference on Multimodal Interaction (ICMI 2020) will be held in Utrecht, the Netherlands. ICMI is the premier international forum for multidisciplinary research on multimodal human-human and human-computer interaction, interfaces, and system development. The conference focuses on theoretical and empirical foundations, component technologies, and combined multimodal processing techniques that define the field of multimodal interaction analysis, interface design, and system development.
Identifiant de l'évènement:
1294037
70
MODELS 2020 — ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
18 oct 2020 - 23 oct 2020 • Montreal, Canada
Résumé:
MODELS, the ACM/IEEE 23rd 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 2019 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.
Identifiant de l'évènement:
1293205
71
ER 2020 Conceptual Modeling — 39th International Conference on Conceptual Modeling
03 nov 2020 - 06 nov 2020 • Vienne, Autriche
Résumé:
The world is being reconstructed through software and data. Conceptual models seem mandatory to cope with this gigantic transformation that is unprecedented in the history of humankind. Not only do they build a solid foundation for designing software system, they also foster the empowerment of users and help us to develop images of possible future worlds. However, recent developments in AI challenge this pivotal role of conceptual models. Some AI proponents go so far as to predict the end of conceptual modeling, for an ostensibly convincing reason: machine learning will enable automated software construction, both faster and at much lower costs. These contradictory assessments make it especially exciting to reflect upon the foundations of conceptual modeling and the limitations of inductive approaches to software creation. The ER conference has been the leading conference on conceptual modeling for many years. In continuation of this tradition, ER 2020 is dedicated to providing a forum for discussing the present and future role of conceptual modeling with regard to enabling and managing change.
Identifiant de l'évènement:
1292690
72
OSDI — Symposium on Operating Systems Design and Implementation
04 nov 2020 - 06 nov 2020 • Banff, Alberta, Canada
Identifiant de l'évènement:
1275411
73
FSE — ACM SIGSOFT International Symposium on Foundations of Software Engineering
08 nov 2020 - 13 nov 2020 • Sacramento, États-Unis
Identifiant de l'évènement:
1250985
74
Algorithmique et programmation
10 mai 2021 - 14 mai 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312231
75
ICSE 2021 — International Conference on Software Engineering
22 mai 2021 - 30 mai 2021 • Madrid, Espagne
Résumé:
The International Conference on Software Engineering (ICSE), sponsored by IEEE CS and ACM, is the premier software-engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering.
Identifiant de l'évènement:
1239719
76
Arithmétique, géométrie, cryptographie et théorie des codes
31 mai 2021 - 04 jui 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312305
77
9th International Conference on Relational and Algebraic Methods in Computer Science
01 nov 2021 - 05 nov 2021 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1312528


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!

Dernière mise à jour: 14 Janvier 2020