Subscribe

Bits&Chips Event

12 October 2023

Van der Valk Eindhoven-Best

Join our exhibition and conference on challenges in complex software engineering, high-tech machine learning and system architecture

Gold sponsor

Silver sponsors

Bronze sponsors

Partners

12 October 2023

Van der Valk Eindhoven-Best

Sponsorships

Register now as a sponsor, be present at the exhibition floor and be part of the promotion media mix (mailings, advertising, social media, content marketing and PR).
If you want to request a customized package, contact us at events@techwatch.nl.

Gold sponsor

€ 4,000

  • Floor space of 10 m² (5x 2 m) + high table
  • 12 tickets (stand crew included)
  • Online article (written by you) OR 6 weeks leaderboard on the website of Bits&Chips**
  • Participant list
  • Your logo on event promotions (advertisement, website, mailings)*

Silver sponsor

€ 2,650

  • Floor space of 8 m² (4x 2 m) + high table
  • 8 tickets (stand crew included)
  • Participant list
  • Your logo on event promotions (advertisement, website, mailings)*

Bronze sponsor

€ 1,900

  • Workstation (high table + max. 1 banner) of 4 m² (2x 2 m)
  • 4 tickets (stand crew included)
  • Participant list
  • Your logo on event promotions (advertisement, website, mailings)*
All prices are exclusive of VAT.
* If timely registered and still available.
** Not exchangeable for prior advertisements or articles.

12 October 2023

Van der Valk Eindhoven-Best

Audience

The Bits&Chips Event brings together (technical) management, engineers and researchers in complex software and system development.

Visitor profiles

Managing directors • Technical managers • Team leads • Project managers • System architects • Software architects • Software developers • Solution providers • Researchers • Technology innovators

Target industries

Aerospace • Agro & food • Automotive • Consumer electronics • Defense • Factory automation • Healthcare • Industrial systems • Logistics • Semicon

Past attendees

Alten • ASM • ASML • Bosch • Canon Production Printing • Capgemini Engineering • Demcon • ICT Group • Imec • Kulicke & Soffa • Lely • Lightyear • Nearfield Instruments • Neways • Nexperia • NXP • Philips • Priva • Prodrive • Signify • Sioux • Technolution • Thales • Thermo Fisher Scientific • TMC • Tomtom • Vanderlande • VDL

12 October 2023

Van der Valk Eindhoven-Best
Eindhovenseweg - Zuid 144
5683 PX Best​
The Netherlands

At Techwatch, we can handle all of your marketing and content needs for the high-tech industry. We offer content services, organize (online) events (and offer them as a service) and we create and host webinars, podcasts and videos.

Have a look at our mediakit for more information and services.​
Contact event organization: events@techwatch.nl
Contact conference program: Nieke Roos

Other events

BCe23 logo diap

Keynote: Arie van Deursen (TU Delft)

Explainable software engineering

Rethinking the full SE life cycle

In artificial intelligence (AI), it’s increasingly recognized that components that learn from data need to be explainable. In this talk, we take explainability one step further, using it as a lens to rethink the full software engineering life cycle. To that end, we consider explainability of both the software engineering process and the resulting software system. We use this to shed new light on requirements traceability, delay prediction, code review and AI-powered coding. Furthermore, we revisit software testing, interpreting test cases as executable explanations at different levels of granularity. Based on this, we envision a future of software engineering in which explainability is a first-class citizen.
Arie van Deursen is a professor in software engineering at Delft University of Technology, where he’s also head of the Software Technology department. He holds an MSc degree from the Vrije Universiteit Amsterdam (1990) and a PhD from the University of Amsterdam (1994). His research interests include software testing, language models for code, human aspects of software engineering and trustworthy artificial intelligence. He’s scientific director of the Delft Fintech Lab and co-PI of the NWO Long Term Program Robust (2022-2032) on trustworthy AI. Based on his research, he co-founded the Software Improvement Group (2000) and PerfectXL (2014). For the Dutch government, he serves on the Advisory Council for ICT Assessments (AcICT).
BCe23 logo diap

Fill out your contact details below to receive an update as soon as the visitor registration opens.

* indicates required
BCe23 logo diap

Keynote: Philippa Hopcroft (Cocotec) & Ivo ter Horst (ASML)

Test less, verify Moore

Transforming how lithography machine software is built

ASML’s lithography machines are complex cyber-physical systems of systems, designed to be extremely accurate, deliver very high throughput and operate 24/7 to deliver exceptionally reliable results. More than 10 years ago, ASML embarked on a formal verification journey to transform its software development practices with the aim of improving software quality and speeding up delivery. Unlike testing, formal verification explores all possible scenarios, and can automatically detect all those hard-to-find bugs that elude testing. With the right tools, entire classes of errors can be eliminated early and fast.

During this journey, ASML engineers introduced the Coco Platform as the next generation replacement to tackle the scale and complexity of systems required. The Coco Platform offers a number of unique strengths, which have contributed towards ASML’s successful leap forward along its formal verification journey. Today, millions of lines of code generated from formally verified models make ASML systems run reliably.

In this joint ASML-Cocotec talk, we will introduce the Coco Platform and highlight some of the challenges faced when introducing formal verification on an industrial scale. We will discuss our experiences of migrating thousands of first-generation models to Coco and preparing hundreds of engineers for this new future.

Philippa Hopcroft is one of the co-founders and CEO of Cocotec, a spinout of the University of Oxford with the mission of bringing formal-verification tools to developers across industries. She completed her DPhil at Oxford in 2001 on security protocol analysis and has been pushing the boundaries of what’s possible with formal verification in industry and academia ever since. Prior to launching Cocotec in 2019, she was a Senior Research Fellow at the University of Oxford, where she led several research projects and was instrumental in getting strong engagement from companies across sectors, resulting in the successful spinout of Cocotec.
Ivo ter Horst joined ASML in 2007 and has worked on the software of various parts of its lithography systems. He holds a Master’s degree in computer science from the University of Twente, where he specialized in software engineering and formal methods. For the last 10 years, he has been leading the Formal Software Engineering technical competence at ASML, where he guides engineering teams and focuses on making formal-verification technology accessible to ASML’s large software engineering community.