Conferences and Workshops: Index 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

 
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
TADA - Trading Agent Design and Analysis
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
TARK - Theoretical Aspects of Rationality and Knowledge
TAROS - Towards Autonomous Robotic Systems
TASE - Theoretical Aspects of Software Engineering
TbiLLC - Tbilisi Symposium on Logic, Language, and Computation
TCC - Theory of Cryptography Conference
TCoB - Technologies for Collaborative Business Process Management
TCS - IFIP International Conference on Theoretical Computer Science
TDM - Twente Data Management Workshop
TEAR - Trends in Enterprise Architecture Research
TEI - Tangible and Embedded Interaction
TestCom - International Conference on Testing (of Software and) Communication Systems
TextGraphs - Graph-based Methods for Natural Language Processing
TFP - Trends in Functional Programming
TGC - Trustworthy Global Computing
TIME - International Symposium on Temporal Representation and Reasoning
TIR - Text-based Information Retrieval
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
TOOLS - Technology of Object-Oriented Languages and Systems
TPCTC - TPC Technology Conference
TPDL - Theory and Practice of Digital Libraries
TQC - Theory of Quantum Computation, Communication, and Cryptography
TRECVID - TREC Video Retrieval Evaluation
TRIDENTCOM - Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
TRUST - Trust and Trustworthy Computing
TRUST - International Workshop on Trust in Agent Societies
TrustBus - Trust and Privacy in Digital Business
TSD - Text, Speech and Dialogue
TSP - Telecommunications and Signal Processing
TYPES - Types for Proofs and Programs