Visible to the public  2019 CPS Challenge
May 14, 2019 7:00 am - 6:00 pm CDT

2019 CPS Challenge

"No robot left behind!"

May 14-16 2019


Visible to the public  F1/10
Apr 15, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

Pre-registration is now open!

4th F1/10 International Autonomous Racing Competition

@ CPS-IoT Week 2019

F1/10 is an international competition which exposes you to the foundations of perception, planning and control in a fun, and challenging environment. Participating teams race vehicles with similar hardware specification and try to outsmart, and outpace each other in a battle of algorithms.

This year, we will have two different racing classifications:


Visible to the public  Intel ISEF
May 13, 2018 7:00 am - May 18, 2018 6:00 pm EDT

Intel International Science and Engineering Fair (Intel ISEF)

The Intel International Science and Engineering Fair (Intel ISEF), a program of Society for Science & the Public (the Society), is the world's largest international pre-college science competition.

Each year, approximately 1,800 high school students from more than 75 countries, regions, and territories are awarded the opportunity to showcase their independent research and compete for on average $4 million in prizes.


Visible to the public  Music City BEST Game Day
Oct 20, 2018 8:00 am - 4:00 pm CDT

Game day will be held in Allen Arena on the Lipscomb University Campus on October 20th. More details available closer to the game time.


Visible to the public  Global Tech Jam
Jun 20, 2018 7:00 am - Jun 22, 2018 6:00 pm CDT

The 3rd Annual Global City Teams Challenge Tech Jam

About global tech jam


Visible to the public  RERS 2017
Jul 12, 2017 7:00 am - Jul 12, 2017 6:00 pm PDT

International Challenge on the Rigorous Examination of Reactive Systems 2017 (RERS)

co-located with ISSTA and SPIN 2017


Visible to the public  VerifyThis 2017
Apr 22, 2017 7:00 am - Apr 23, 2017 6:00 pm CEST

VerifyThis Verification Competition 2017


VerifyThis 2017 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017) on April 22-23, 2017 in Uppsala, Sweden. It is the 6th event in the VerifyThis competition series.


Visible to the public  Submission Deadline for Task 1 of the CAT Vehicle Challenge
Jan 31, 2017 11:30 pm - 11:45 pm PST

Submit your .tgz for the CAT Vehicle Challenge Task 1 at this webform. The purpose of Task 1 is to gather team information, and therefore the estimated time to complete Task 1 is a little more than 1 hour.


Visible to the public  CRV 2016
Sep 23, 2016 7:00 am - Sep 30, 2016 6:00 pm CEST

The 3rd International Competition on Runtime Verification (CRV 2016)

held with RV 2016
In Association with COST Action "Runtime Verification beyond Monitoring"
September 23-30 2016 | Madrid, Spain |