Name: PyAmsterdam @ Aidence
Start: 2022-06-22T18:00:00+02:00
End: 2022-06-22T21:00:00+02:00
Location: Achter Oosteinde

Hello people, we are coming back in June thanks to Aidence 💪!

**Schedule 📅**

* 18:00: Doors open! let's share some food and drinks thanks to our host.
* 19:00 First talk 📣 **Creating Python Code with Copilot by Peter Collewijn**
* 19:30 Second talk 📣 **Writing bug-free Python code: a journey from tests to formal verification by Gram** **Voronov**
* 20:15 Lightning talks
* 20:30 Networking
* 21:00 Closing time

➖➖➖
Location: Aidence's Office

We meet at [Aidence](https://www.aidence.com/), and they will provide food and drinks for us 😃 .
Aidence is a company that uses Python to develop an AI-powered *clinical applications* for the lung cancer detection. Using deep-learning, Aidence helps to automate lung nodule detection and quantification on chest CT scans.

The address: Achter Oosteinde, 1074 BC Amsterdam:
https://goo.gl/maps/UHuPi9Ddt3tQTHQJ8

It's the backyard door of the Aidence office: Aidence, Sarphatikade 8, 1017 WV Amsterdam, Netherlands: https://goo.gl/maps/8ui5jJLjSF3msHcW9
➖➖➖

📣 **Creating Python Code with Copilot**

Github calls Copilot an AI pair programmer that helps you write code faster and with less work. See their site: https://copilot.github.com/. Copilot is available as an extension for Visual Studio Code and is based on the OpenAI Machine Learning model GPT-3. This is one of the most advanced Machine Learning models available today.

In this presentation I spend a few minutes on the basics of AI and Machine Learning. After that I will show some possibilities of the GPT-3 model in a Jupyter Notebook. This will help you understand how Copilot operates. And then I switch to Visual Studio Code for a demo of Copilot. You will see how Copilot interacts with the user, the level of understanding of the user requests and the quality of the code generated.

If we have time, it will be possible to have Copilot create code based on suggestions from the audience.

ℹ️ **About Peter Collewijn**
Peter is a business consultant, software tester with a focus on testing of AI based applications. He also gives presentations on this topic. He is member of the working group Testing and AI of TestNet and promotes the AI for Business and Government program of the NL AI Coalition. He uses Python for testing and creating Machine Learning models.

➖➖➖

**📣 Writing bug-free Python code: a journey from tests to formal verification**

The talk is my 5 year journey into the world of writing safe and reliable code. The result of this journey is Deal, a library that is easy to use, but under the hood it hides an enormous machine of test generation, static analysis, and formal verification. Do you want to know how it works?

ℹ️ **About Gram Voronov**
Author of 100+ open-source projects, most of them Python.
https://orsinium.dev

➖➖➖
**What are Lightning talks?**
A 5 minutes presentation about anything you want to share

Nicolás Demarchi

Edu Enriquez (eduzen)

Jan Gazda

PyAmsterdam

Python Software Foundation Meetup Pro Network

Gandi.net is supporting our community with our .amsterdam domain

Gandi

FareHarbor is the all-in-one booking solution

Fareharbor

Optiver

Technology

Open Source

Collaboration

New Technology

Python

Web Design

Software Development

Web Development

Computer Programming

Knowledge Sharing

Python Web Development

Open Source Python

Data Science using Python

Django

Community

PyAmsterdam @ Aidence

Programming Languages

Achter Oosteinde

Share

PyAmsterdam

PyAmsterdam @ Aidence

PyAmsterdam

Details

Sponsors

Members are also interested in