Congratulations! 🎉🎉🎉 The first TACPS was successfully held at San Diego State University from the 25th to 26th of Jan 2024!
Results
- Zheng, X., Mok, A.K., Piskac, R., Lee, Y.J., Krishnamachari, B., Zhu, D., Sokolsky, O., and Lee, I. (2024, July). Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (pp. 467–471). https://dl.acm.org/doi/pdf/10.1145/3663529.3663779
- Building on discussions initiated at this workshop, a corresponding Dagstuhl Seminar proposal was developed and ultimately accepted. The seminar, titled “Advancing Testability and Verifiability of CPS with Neurosymbolic and Large Language Models” (Dagstuhl Seminar 202501048), will be held in October 2026.
Memories
Schedule
First Day:
- 7:30 – 8:15 am: Welcome reception with breakfast.
- 8:15 – 8:30 am: Welcome and appreciation speech.
- 8:30 – 9:30 am: First Keynote (Paulo Tabuada from UCLA)
- 9:30 – 10:30 am: Second Keynote (Tevfik Bultan from UCSB)
- 10:30 – 11:00 am: Break with coffee and tea.
- 11:00 am – 12:00 pm: Third Keynote (Oleg Sokolsky from UPENN)
- 12:00 – 1:30 pm: Lunch break (Sunset Mandarin).
- 1:30 – 2:30 pm: First Invited Talk (Amir Khazraei from Duke representing Miroslav Pajic).
- 2:30 – 3:30 pm: Second Invited Talk (Hang Qiu UCR).
- 3:30 – 4:30 pm: Break with coffee and tea.
- 4:30 – 5:30 pm: Third Invited Talk (Mustafa Karabag from UT Austin representing Ufuk Topcu).
- 5:30 – 10:00 pm: Social dinner with drinks and presentations.
Second Day:
- 7:30 – 8:30 am: Breakfast.
- 8:30 – 9:30 am: Fourth Keynote (Sanjit Seshia from UC Berkeley).
- 9:30 – 11:30 am: Brainstorming session and discussions.
- 11:30 am – 1:00 pm: Lunch break (Little Italy).
Many Thanks to Local Organizers
Dr. Bryan Donyanavard
Assistant Professor at the Department of Computer Science, San Diego State University.
Email: [email protected]
Dr. Shangping Ren
Professor at the Department of Computer Science, San Diego State University
Email: [email protected]
Phone: 619-594-2361
Venue
Accomodation
Hilton Garden Inn Mission Valley
3805 Murphy Canyon Rd, San Diego, CA 92123
858-278-9300
-About 3.5 miles from Campus
Hilton Garden Inn
Days Inn by Wyndham Mission Valley Qualcomm Stadium/ SDSU
5343 Adobe Falls Road, San Diego, California 92120
866-238-4218
-About 3 miles from Campus
Days Inn
Holiday Inn Express La Mesa
8000 Parkway Drive, La Mesa, CA 91942
833-443-1175
-About 3 miles from Campus
Holiday Inn Express La Mesa