KI-Telefonassistenten Entwicklung | popl24.sigplan.org | 216.73.216.123

ID	target	source	path	created
674747265	popl24.sigplan.org	mpi-sws.mpg.de	/news/general/	2025-11-21 21:22:16.455
668372697	popl24.sigplan.org	copenhagenfintech.dk	/projects/high-assurance-crypt...	2025-11-18 14:31:39.276
664154342	popl24.sigplan.org	lmf.cnrs.fr	/MihaelaSighireanu/	2025-11-14 20:35:06.859
655759680	popl24.sigplan.org	iris-project.org	/	2025-11-09 14:31:25.900
655758593	popl24.sigplan.org	plum-umd.github.io	/news/	2025-11-09 14:31:15.527
655732379	popl24.sigplan.org	pldi22.sigplan.org	/profile/xinyuwang	2025-11-09 14:25:45.654
646609655	popl24.sigplan.org	cs.uiowa.edu	/~aningle/	2025-11-05 14:37:25.846
642390359	popl24.sigplan.org	cs.fau.de	/	2025-11-03 16:00:34.157
638781577	popl24.sigplan.org	sicsa.ac.uk	/event/loco2024/	2025-11-01 09:13:06.127
638726837	popl24.sigplan.org	andreipopescu.uk	/	2025-11-01 08:38:11.094
638720459	popl24.sigplan.org	moves.rwth-aachen.de	/people/philipp-schroer/	2025-11-01 08:34:23.705
638680820	popl24.sigplan.org	popl21.sigplan.org	/series/POPL	2025-11-01 08:08:46.966
638671708	popl24.sigplan.org	popl22.sigplan.org	/profile/cameronfreer	2025-11-01 08:01:23.770
638662115	popl24.sigplan.org	popl23.sigplan.org	/series/POPL	2025-11-01 07:55:27.823
638652801	popl24.sigplan.org	leanprover-community.github.io	/events.html	2025-11-01 07:51:03.350
638651256	popl24.sigplan.org	dafny24.hotcrp.com	/	2025-11-01 07:50:05.929
638648849	popl24.sigplan.org	icfp24.sigplan.org	/track/icfp-2024-papers	2025-11-01 07:49:06.199
638638662	popl24.sigplan.org	popl25.sigplan.org	/home/prisc-2025	2025-11-01 07:46:56.267
638636604	popl24.sigplan.org	2025.ecoop.org	/profile/antoinemine	2025-11-01 07:46:10.020
632536328	popl24.sigplan.org	khoury.northeastern.edu	/home/sholtzen/	2025-10-30 06:45:56.858

target

role

source

path

created

674747265

popl24.sigplan.org

mpi-sws.mpg.de

/news/general/

2025-11-21 21:22:16.455

668372697

popl24.sigplan.org