40 likes | 184 Views
TC CCX. Complexity in Computing. Deals with mechanisms for addressing, identifying and controling complexity Formal methods, agent-based systems, real-time systems, software product lines, MDE, measurement, system specification. May 4-5, 2011 TAC Workshop. 1. TC CCX. Conferences
E N D
TC CCX Complexity in Computing • Deals with mechanisms for addressing, identifying and controling complexity • Formal methods, agent-based systems, real-time systems, software product lines, MDE, measurement, system specification May 4-5, 2011 TAC Workshop 1
TC CCX • Conferences • ICECCS (Engineering Complex Computer Systems), 50-100 • SMC-IT (Space Mission Challenges for IT, 75%), 300+ • ISoLA (Leveraging Applications of Formal Methods), 100-150 • MODELS (Model-Based Development), 200+ • Publications • Proceedings of each of the above conferences, special issues May 4-5, 2011 TAC Workshop 2
TC CCX • Reaching the Members • Newsletter, new Blog planned, regular TC meeting at ICECCS • Europe (60%), Asia (20%), Americas (20%) • 20-30% industry/government • Community built up over time, and has become more specialized May 4-5, 2011 TAC Workshop 3
TC CCX • Recent Accomplishments / Highlights • Book, “Conquering Complexity” in final stages of preparation • Plans • New Blog, new outreach mechanisms • Challenges • Like all conferences, attendance is down due to budgetary constraints • Regular members but little new active members.b May 4-5, 2011 TAC Workshop 4