TACPS 2024 (January) was held successfully

🎉🎉🎉 Congratulations! The first TACPS was successfully held at San Diego State University from January 25–26, 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).
• 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

Program

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.
• Dr. Shangping Ren, Professor at the Department of Computer Science, San Diego State University

Venue

Accommodation

• Hilton Garden Inn Mission Valley
  3805 Murphy Canyon Rd, San Diego, CA 92123
  858-278-9300
  ~3.5 miles from Campus
  Hilton Garden Inn
• Days Inn by Wyndham Mission Valley Qualcomm Stadium / SDSU
  5343 Adobe Falls Road, San Diego, CA 92120
  866-238-4218
  ~3 miles from Campus
  Days Inn
• Holiday Inn Express La Mesa
  8000 Parkway Drive, La Mesa, CA 91942
  833-443-1175
  ~3 miles from Campus
  Holiday Inn Express La Mesa