Computer Science Conferences & Workshops: T
A -
B -
C -
D -
E -
F -
G -
H -
I -
J -
K -
L -
M -
N -
O -
P -
Q -
R -
S -
T -
U -
V -
W -
X -
Y -
Z -
3
- TABLEAUX - Theorem Proving with Analytic Tableaux and Related Methods
- Tabletop - Workshop on Tabletops and Interactive Surfaces
- TACAS - Tools and Algorithms for Construction and Analysis of Systems
- TACS - Theoretical Aspects of Computer Software
- TADA - Trading Agent Design and Analysis
- TADDS - Theoretical Aspects of Dynamic Distributed Systems
- TAFA - Theorie and Applications of Formal Argumentation
- 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
- TAKMA - Theory and Applications of Knowledge Management
- TAL - Natural Language Processing
- TAMC - Theory and Applications of Models of Computation
- TAMoCo - Techniques and Applications for Mobile Commerce
- TAMODIA - Task Models and Diagrams for User Interface Design
- TAP - Tests and Proofs
- TAPAS - Theory and Practice of Algorithms in (Computer) Systems
- TAPD - Tabulation in Parsing and Deduction
- Tapia - Richard Tapia Celebration of Diversity in Computing Conference
- TAPSOFT - Theory and Practice of Software Development
- TARK - Theoretical Aspects of Rationality and Knowledge
- TAROS - Towards Autonomous Robotic Systems
- TASE - Theoretical Aspects of Software Engineering
- TAT - Transputer-Anwender-Treffen
- TAV - Symposium on Testing, Analysis, and Verification
- TbiLLC - Tbilisi Symposium on Logic, Language, and Computation
- TCC - Theory of Cryptography Conference
- TCGOV - International Conference on E-Government
- TCoB - Technologies for Collaborative Business Process Management
- TCS - IFIP International Conference on Theoretical Computer Science
- TDB - Workshop on Temporal Databases
- TDM - Twente Data Management Workshop
- TFAIS - Information Systems - Theoretical and Formal Aspects
- TFCV - Theoretical Foundations of Computer Vision
- TFM - Teaching Formal Methods
- TFP - Trends in Functional Programming
- TGC - Trustworthy Global Computing
- TKE - Terminology and Knowledge Engineering
- TLCA - Typed Lambda Calculus and Applications
- TLDI - Types In Languages Design And Implementation
- TMA - Traffic Monitoring and Analysis
- TMFCS - Theoretical and Mathematical Foundations of Computer Science
- TMRA - Topic Maps Research and Applications
- TMS-DEVS - Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
- TPCD - Theorem Provers in Circuit Design
- TPCG - Theory and Practice of Computer Graphics
- TPCTC - TPC Technology Conference
- TPDL - Theory and Practice of Digital Libraries
- TPHOLs - Theorem Proving in Higher Order Logics
- TPNC - Theory and Practice of Natural Computing
- TPPP - Theory and Practice of Parallel Programming
- TQC - Theory of Quantum Computation, Communication, and Cryptography
- TRAM - Trust and Reputation Management in Massively Distributed Computing Systems
- TREC - Text Retrieval Conference
- TRECVID - TREC Video Retrieval Evaluation
- TreDS - Trends in Distributed Systems
- TRI-Ada Conference
- TRIDENTCOM - Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
- TRUST - International Workshop on Trust in Agent Societies
- TRUST - Trust and Trustworthy Computing
- TrustBus - Trust and Privacy in Digital Business
- TrustCom - Trust, Security and Privacy in Computing and Communications
- TSD - Text, Speech and Dialogue
- TSDM - Temporal, Spatial, and Spatio-Temporal Data Mining
- TSP - Telecommunications and Signal Processing
- TST - Transport Systems Telematics
- TVS - Video Summarization
- TW - Twente Workshop on Graphs and Combinatorial Optimization
- TYPES - Types for Proofs and Programs