Computer Science Conferences & Workshops: T

• TABLEAUX - Analytic Tableaux and Related Methods
• TACAS - Tools and Algorithms for Construction and Analysis of Systems
• TACS - Theoretical Aspects of Computer Software
• TAGT - Theory and Application of Graph Transformations
• TAIC PART - Testing: Academic & Industrial Conference - Practice And Research Techniques
• TAINN - Turkish Symposium on Artificial Intelligence and Neural Networks
• TAMODIA - Task Models and Diagrams for User Interface Design
• TAP - Tests and Proofs
• TAPD - Tabulation in Parsing and Deduction
• TAPSOFT
• TARK - Theoretical Aspects of Rationality and Knowledge
• TASE - Theoretical Aspects of Software Engineering
• TAT - Transputer-Anwender-Treffen

• TDB - Workshop on Temporal Databases

• TEI - Tangible and Embedded Interaction

• TEAA - Trends in Enterprise Application Architecture
• Teleteaching
• Temporal Logic in Specification
• TES - Technologies for E-Services
• TestCom - IFIP International Conference on Testing of Communicating Systems
• Testen, Analysieren und Verifizieren von Software
• TEX for Scientific Documentation

• TFAIS - Theoretical and Formal Aspects of Information Systems
• TFCV - Theoretical Foundations of Computer Vision
• TFP - Trends in Functional Programming

• Theoretical Computer Science (GI Conference)
• Theorietag - Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen

• TIC - Types in Compilation
• TIME Workshops

• TKE - Terminology and Knowledge Engineering

• TLCA - Typed Lambda Calculus and Applications

• TMRA - Topic Maps Research and Applications

• TOOLS - Technology of Object-Oriented Languages and Systems

• TPCD - Theorem Provers in Circuit Design
• TPHOLs - Theorem Proving in Higher Order Logics
• TPPP - Theory and Practice of Parallel Programming

• TREC - Text REtrieval Conference
• TreDS - Trends in Distributed Systems

• TSD - Text, Speech and Dialogue
• TSDM - Temporal, Spatial, and Spatio-Temporal Data Mining

• Types for Proofs and Programs