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

Axelera AI
ASML event logo

Bronze sponsors

Axini event logo
High Tech Institute
Hitex

Partners

Event BC logo Bits&Chips
Hardwear.io
High-Tech Systems Magazine
VERSEN logo

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)*
Register

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)*
Register

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)*
Register
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

Techwatch logo

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
Keep me informed

Other events

Events System Architecting Conference logo

Register

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.