|
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 - International Workshop on Trust in Agent Societies |
|
TRUST - Trust and Trustworthy Computing |
|
TrustBus - Trust and Privacy in Digital Business |
|
TSD - Text, Speech and Dialogue |
|
TSP - Telecommunications and Signal Processing |
|
TYPES - Types for Proofs and Programs |
