Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress

Topic	Views	Created	Last reply
MODEL CHECKING CONTEST 2016 - (2/2) - CALL FOR TOOLS	551	by Anonymous Dec 4 2015 - 4:01pm	n/a
New NIST Grants for GCTC Participants and Registration for GCTC Tech Jam and IoT-Enabled Smart City Framework Workshop	1514	by Anonymous Feb 24 2016 - 11:06am	n/a
New Speakers Added to the GCTC Expo Agenda	842	by Anonymous May 8 2015 - 4:11pm	n/a
NIST and DHS S&T to host Kickoff conference on Feb 6-7, 2018 in Washington DC, followed by IES-City Workshop on Feb 8	498	by Anonymous Nov 20 2017 - 6:26pm	n/a
NIST Workshop: Reasoning about IoT Trustworthiness	281	by Anonymous Aug 13 2018 - 12:19pm	n/a
NSF STUDENT TRAVEL GRANT FOR IEEE SMARTCOMP 2021	315	by yusufsarwar Jul 27 2021 - 1:30pm	n/a
NSF-REU in Smart Computing and Communications at UMBC	91	by Anonymous Dec 9 2022 - 3:40pm	n/a
NSF-REU in Smart Computing and Communications at UMBC	209	by Anonymous Jun 3 2022 - 2:18pm	n/a
Online course on Cyber-Physical Systems on edX	1652	by Anonymous May 5 2014 - 1:31pm	n/a
OpenModelica 1.11.0 Release	784	by Anonymous Dec 28 2016 - 5:50pm	n/a
OpenModelica 1.9.3 Release - Open Source Cyber-Physical Modeling, Simulation; also CFP MODPROD'2016	1347	by Anonymous Sep 18 2015 - 12:46pm	n/a
OpenModelica/MODPROD Workshops Febr 2017	629	by Anonymous Dec 28 2016 - 5:24pm	n/a
Opportunities for GCTC Participants	511	by Anonymous Dec 14 2015 - 2:51pm	n/a
Partnerships for Innovation: Building Innovation Capacity Program Releases FY2016 Solicitation	474	by Anonymous Oct 8 2015 - 12:37pm	n/a
Poster Deadline Extended to May 25: Workshop on Science of Security through Software-Defined Networking (SoSSDN)	455	by Anonymous May 9 2016 - 12:47pm	n/a
preliminary announcement: SYNCHRON 2018 Open Workshop	283	by Anonymous Apr 26 2018 - 12:47pm	n/a
PV@CONCUR 2014 - First Workshop on Parameterized Verification	676	by Anonymous Aug 1 2014 - 1:57pm	n/a
QBFEVAL'16 - Solver submission deadline approaching	484	by Anonymous Feb 24 2016 - 12:33pm	n/a
QBFEVAL'17 - First Call for Participation	268	by Anonymous Mar 6 2017 - 6:39pm	n/a
QBFEVAL'18 - Competitive Evaluation of QBF Solvers Preliminary Call for Participation	248	by Anonymous Jan 29 2018 - 1:42pm	n/a
Reachability Problems 2017 -- Call for Presentations	326	by Anonymous Jul 24 2017 - 12:32pm	n/a
Register for Tech Jam by 3/15 and news about cash prizes and travel funds	627	by Anonymous Mar 8 2016 - 8:47am	n/a
Register for the GCTC Kick-off Event - Pre-registration is required and closes November 5, 2015	463	by Anonymous Nov 3 2015 - 11:43am	n/a
Register IoTDI and SocialSens at CPSWeek	397	by Anonymous Mar 6 2017 - 3:58pm	n/a
Register Now for Mobility on Demand Workshop	290	by Anonymous Oct 6 2017 - 12:04pm	n/a