Workshop on configuration in ASP and related topics

We are happy to welcome you to the second Potassco Industrial Days!

The workshop will be held at the University of Potsdam, Germany but virtual attendance will be possible via Zoom (see link below on the right side).

On this page you find all information related to the event.

The workshop will start on 21st November 2023 at 13:00 and end on 22nd November 2023 at 12:00. A small lunch will be served on Tuesday before the start. Registration is free of cost.

The workshop is held directly following the TAASP 2023 workshop (Workshop on Trends and Applications of Answer Set Programming), jointly organized by research groups at Alpen-Adria-Universität Klagenfurt, Technische Universität Wien, and Universität Potsdam. It is possible to attend both workshops and registration for TAASP is free of cost as well. For further information check the TAASP website.

See here for a list of recommended accommodations.

On Tuesday evening there will be a workshop dinner at Zum Fliegenden Holländer, located in the city centre of Potsdam. There are connections by public transport. See here for further information.

📆 Program

21 November 2023

Time	Session	Title	Speaker
11:30	TAASP	http://www.kr.tuwien.ac.at/events/taasp23/prog.html#invited, not on Zoom)	Tomi Janhunen
12:30		Lunch
13:00		Workshop Welcome
13:10	Introduction	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/c0ec2fe5-a372-40c8-a8d2-b92265059405/Potassco_Industrial_Days_-_Challenges_Industrial_Product_Configuration.pdf?id=d1610a67-d3bb-414d-bc07-64ce9f4ca012&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=sniZV-zsPYkeO_fBykp3sV6CKEcOYC8a9dy0U-fZpvg&downloadName=Potassco+Industrial+Days+-+Challenges+Industrial+Product+Configuration.pdf	Andreas Falkner
13:40	Introduction	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/58bce2fb-988f-4d5c-b581-1888a2a31b53/Potassco_Industrial_Days_-_Configuration_at_denkbares.pdf?id=5ca49cfe-1c8b-4448-8e63-53f19b04beae&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=gvRnL3PpI4VAOJ6L1d8YOgYeKsi8qjftiW7f6DX49Fw&downloadName=Potassco+Industrial+Days+-+Configuration+at+denkbares.pdf	Joachim Baumeister
13:50	Introduction	Potassco AI supports CAQ System of Quality Connect GmbH	Adrian Busacker
14:00	Potassco Systems	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/55aeff06-788d-42cd-9cfc-49a5590e04bf/Potassco_Industrial_Days_-_Potassco_Systems_Family.pdf?id=8e8c5f7b-91b6-46db-b005-a00e00d40f66&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=ux51ouV4wE8CJM6yayWCIcVFi9srTGhM1RxnADePry0&downloadName=Potassco+Industrial+Days+-+Potassco+Systems+Family.pdf	Torsten Schaub
14:30	Potassco Systems	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/0a12fbf3-c819-44b2-ac12-30ed0f117909/Potassco_Industrial_Days_-_fclingo.pdf?id=5664fa4d-7c80-4e39-b073-0e55bf19e933&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=F9leVfM5E3bBaLAPa1TQM2kbzlfmlK9Kju9OA7t1MDQ&downloadName=Potassco+Industrial+Days+-+fclingo.pdf	Phillipp Wanko
14:50	Potassco Systems	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/65839fb3-c200-4076-a842-bebfbc13758e/Potassco_Industrial_Days_-_clintest.pdf?id=e3a53074-b3d2-453f-aa1d-1201e375178c&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=bdWA2bkoP4gn80CeISEyocA6jrEUATcalIDPW6oF8jI&downloadName=Potassco+Industrial+Days+-+clintest.pdf	Tobias Stolzmann
15:10	Potassco Systems	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/1ae880e6-1464-4dc4-94ce-567be498f716/Potassco_Industrial_Days_-_clinguin.pdf?id=c6115a24-9d00-44a3-b4b6-6178ce84288f&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=SOmdDORLUQPD50UIBLMFe2dMdEL90dgqcXwKWwVLLxU&downloadName=Potassco+Industrial+Days+-+clinguin.pdf	Susana Hahn
15:30		Coffee Break
16:00	Applications and Demos	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/2c41d2e7-ce73-4e9f-a0c8-c0e291af8cd6/Potassco_Industrial_Days_-_Multi_Objective_Design_Space_Exploration.pdf?id=2d5763c2-4761-410a-9d4f-3abfe6fe915d&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701338400000&signature=Cc1yGiScweK5ZJ0cCq7vo3uq1Wtu4ir8kezJHNOk5GI&downloadName=Potassco+Industrial+Days+-+Multi+Objective+Design+Space+Exploration.pdf	Luise Müller
16:20	Applications and Demos	Interactive Product Configuration with Clinguin	Alexander Pieper
16:30	Applications and Demos	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/af20c7b3-7e14-49d4-b17b-ef3f477adf1c/Potassco_Industrial_Days_-_OOASP.pdf?id=fbfa6518-f31c-49fd-884c-9afade6b3043&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701957600000&signature=CMNCuEbq6KlpmWbAT2Zv5m_G5jyc8q9AC5whbUQgas0&downloadName=Potassco+Industrial+Days+-+OOASP.pdf	Richard Comploi-Taupe
16:40	Applications and Demos	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/09d8600f-4b3b-4546-b99e-4298d709e032/Potassco_Industrial_Days_-_Interactive_Configuration_with_OOASP.pdf?id=3f5e3460-2e82-484c-8afd-8c76c4e2a439&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=rDnx7x89J5v7jyrm_awumOig2HiPNpvXDNBmVu-y4RY&downloadName=Potassco+Industrial+Days+-+Interactive+Configuration+with+OOASP.pdf	Susana Hahn
16:50	Applications and Demos	How Spack is using clingo	Todd Gamblin
17:30		End of Day 1
19:00		https://celestial-legal-b37.notion.site/Workshop-Dinner-99fb75574618438abaf0613e269dde44

22 November 2023

Time	Session	Title	Speaker
9:00		https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/1f681861-21d1-4b74-90b8-f3f41786cc46/Potassco_Industrial_Days_-_Simply_Automate.pdf?id=1948cf4f-270b-4f49-bde0-34ccb9c8d226&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701360000000&signature=OlRMeBOuvwiCCMmXyIEaavCBt4tcSgrnHJxIj8BsRgI&downloadName=Potassco+Industrial+Days+-+Simply+Automate.pdf	Martin Gebser
9:30	Configuration	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/c755863b-92a8-4009-801a-6927134662ab/Potassco_Industrial_Days_-_Configuration_Formalization.pdf?id=d385141c-148f-47b4-9171-3ba948c6df31&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701273600000&signature=TY33S4ku7go29ju97-uGxDrbugWMZ1aOucU3ps5Dzvo&downloadName=Potassco+Industrial+Days+-+Configuration+Formalization.pdf	Nicolas Rühling
9:50	Configuration	https://file.notion.so/f/f/233da5d3-9991-4dfb-b90d-b3062fc892e2/58716dcc-5842-4be4-9ea6-27cf1dc4cad8/Potassco_Industrial_Days_-_COOM_DSL.pdf?id=d88f12c6-9092-4bdc-908b-86e21d7e4e3a&table=block&spaceId=233da5d3-9991-4dfb-b90d-b3062fc892e2&expirationTimestamp=1701338400000&signature=Mm6a5eX5WRRYZ1q_bLwc9jTWde27VNVVbAjCcZwVMdk&downloadName=Potassco+Industrial+Days+-+COOM+DSL.pdf	Jochen Reutelshöfer
10:10		Coffee Break
10:30		Panel Discussion:

What are the basic building blocks of a configuration model/language?
What are the main challenges regarding usability and interactivity in an ASP-based configurator?
What kind of tooling is needed around the reasoning process?
What should be the future research directions in ASP to address real-world (configuration) problems?
How do you migrate (non-declarative) legacy knowledge bases in a declarative way? | | | 12:00 | | End of Workshop | |

<aside> 👤 Contact

E-mail:

Nicolas Rühling

[email protected]

Phone:

Sabine Hübner

+49 331 977 3081

</aside>

<aside> 📍 Location (How to arrive there) University of Potsdam Institute of Computer Science An der Bahn 2 D-14476 Potsdam

https://www.google.com.mx/maps/place/An+d.+Bahn+2,+14476+Potsdam,+Germany/@52.4121167,12.9748124,16.32z/data=!4m9!1m2!2m1!1sUniversity+of+Potsdam+Institute+of+Computer+Science+An+der+Bahn+2+D-14476+Potsdam!3m5!1s0x47a8f3fc7a7da199:0x64e5d7e451d547c0!8m2!3d52.4132918!4d12.974301!15sClFVbml2ZXJzaXR5IG9mIFBvdHNkYW0gSW5zdGl0dXRlIG9mIENvbXB1dGVyIFNjaWVuY2UgQW4gZGVyIEJhaG4gMiBELTE0NDc2IFBvdHNkYW2SARBnZW9jb2RlZF9hZGRyZXNz

</aside>

<aside> 🖇️ Zoom