国际会议
|
会议名称 |
类别 |
|
Artificial lntelligence and Related Subjects |
|
|
AAAI: American Association for Al National Conference |
A |
|
CVPR: IEEE Conf on Comp Vision and Pattern Recognition |
A |
|
IJCAI: lntl Joint Conf on Al |
A |
|
ICCV: lntl Conf on Computer Vision |
A |
|
ICML: lntl Conf on Machine Learning |
A |
|
SIGKDD: ACM Knowledge Discovery and Data Mining |
A |
|
KR: lntl Conf on Principles of KR & Reasoning |
A |
|
NIPS: Neural Information Processing Systems |
A |
|
UAI: Conference on Uncertainty in Al |
A |
|
AAMAS: lntl Conf on Autonomous Agents and Multi-Agent Systems (past: ICAA) |
A |
|
ACL: Annual Meeting of the ACL (Association of Computational Linguistics) |
A |
|
ICDM - IEEE International Conference on Data Mining |
B |
|
NAACL: North American Chapter of the ACL |
B |
|
AID: lntl Conf on Al in Design |
B |
|
AI-ED: World Conference on Al in Education |
B |
|
CAIP: lnttl Conf on Comp. Analysis of Images and Patterns |
B |
|
CSSAC: Cognitive Science Society Annual Conference |
B |
|
ECCV: European Conference on Computer Vision |
B |
|
EAI: European Conf on Al |
B |
|
EML: European Conf on Machine Learning |
B |
|
GECCO: Genetic and Evolutionary Computation Conference (used to be GP) |
B |
|
IAAI: Innovative Applications in Al |
B |
|
ICIP: lntl Conf on Image Processing |
B |
|
ICNNIIJCNN: lntl (Joint) Conference on Neural Networks |
B |
|
ICPR: lntl Conf on Pattern Recognition |
B |
|
ICDAR: International Conference on Document Analysis and Recognition |
B |
|
ICTAI: IEEE conference on Tools with Al |
B |
|
AMAI: Artificial Intelligence and Maths |
B |
|
DAS: International Workshop on Document Analysis Systems |
B |
|
WACV: IEEE Workshop on Apps of Computer Vision |
B |
|
COLING: International Conference on Computational Liguistics |
B |
|
EMNLP: Empirical Methods in Natural Language Processing |
B |
|
EACL: Annual Meeting of European Association Computational Lingustics |
B |
|
CoNLL: Conference on Natural Language Learning |
B |
|
DocEng: ACM Symposium on Document Engineering |
B |
|
IEEE/WIC lnternational Joint Conf on Web lntelligence and Intelligent Agent Technology |
B |
|
PRICAI: Pacific Rim lntl Conf on Al |
C |
|
AAI: Australian National Conf on Al |
C |
|
ACCV: Asian Conference on Computer Vision |
C |
|
AI*IA: Congress of the Italian Assoc for Al |
C |
|
ANNIE: Artificial Neural Networks in Engineering |
C |
|
ANZIIS: AustralianINZ Conf on-Intelligent Inf. Systems |
C |
|
CAIA: Conf on Al for Applications |
C |
|
CAAI: Canadian Artificial Intelligence Conference |
C |
|
ASADM: Chicago ASA Data Mining Conf: A Hard Look at DM |
C |
|
EPIA: Portuguese Conference on Artificial Intelligence |
C |
|
FCKAML: French Conf on Know. Acquisition & Machine Learning |
C |
|
ICANN: International Conf on Artificial Neural Networks |
C |
|
ICCB: International Conference on Case-Based Reasoning |
C |
|
ICGA: International Conference on Genetic Algorithms |
C |
|
ICONIP: lntl Conf on Neural Information Processing |
C |
|
IEAIAIE: Inti Conf on Ind. & Eng. Apps of Al & Expert Sys |
C |
|
ICMS: International Conference on Multiagent Systems |
C |
|
ICPS: International conference on Planning Systems |
C |
|
IWANN: lntl Work-Conf on Art & Natural Neural Networks |
C |
|
PACES: Pacific Asian Conference on Expert Systems |
C |
|
SCAI: Scandinavian Conference on Artifical intelligence |
C |
|
SPICIS: Singapore lntl Conf on Intelligent System |
C |
|
PAKDD: Pacific-Asia Conf on Know. Discovery & Data Mining |
C |
|
SMC: IEEE lntl Conf on Systems, Man and Cybernetics |
C |
|
PAKDDM: Practical App of Knowledge Discovery & Data Mining |
C |
|
WCNN: The World Congress on Neural Networks |
C |
|
WCES: World Congress on Expert Systems |
C |
|
INBS: IEEE lntl Symp on Intell. in Neural \& Bio Systems |
C |
|
ASC: lntl Conf on A! and Soft Computing |
C |
|
PACLIC: Pacific Asia Conference on Language, Information and Computation |
C |
|
ICCC: lnternational Conference on Chinese Computing |
C |
|
ICADL: lnternational Conference on Asian Digital Libraries |
C |
|
RANLP: Recent Advances in Natural Language Processing |
C |
|
NLPRS: Natural Language Pacific Rim Symposium |
C |
|
Meta-Heuristics lnternational Conference |
C |
|
|
|
|
Hardware and Architecture |
|
|
ASPLOS: Architectural Support for Prog Lang and OS |
A |
|
ISCA: ACMIIEEE Symp on Computer Architecture |
A |
|
ICCAD: lntl Conf on Computer-Aided Design |
A |
|
DAC: Design Automation Conf |
A |
|
MICRO: lntl Symp on Microarchitecture |
A |
|
HPCA: IEEE Symp on High-Perf Comp Architecture |
A |
|
FCCM: IEEE Symposium on Field Programmable Custom Computing Machines |
B |
|
SC(SUPER): ACMIIEEE Supercomputing Conference |
B |
|
ICS: lntl Conf on Supercomputing |
B |
|
ISSCC: IEEE lntl Solid-State Circuits Conf |
B |
|
HCS: Hot Chips Symp |
B |
|
VLSI: IEEE Symp VLSI Circuits |
B |
|
CODES+ISSS: lntl Conf on HardwareISoftware Codesign & System Synthesis |
B |
|
DATE: IEEUACM Design, Automation & Test in Europe Conference |
B |
|
FPL: Field-Programmable Logic and Applications |
B |
|
CASES: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems |
B |
|
ICA3PP: Algs and Archs for Parall Proc |
C |
|
EuroMICRO: New Frontiers of lnformation Technology |
C |
|
ACS: Australian Supercomputing Conf |
C |
|
ISC: lnformation Security Conference |
C |
|
HiPC:lnternational Conference on High Performance Computing |
C |
|
|
|
|
Applications and Media |
|
|
13DG: ACM-SIGRAPH Interactive 3D Graphics |
A |
|
SIGGRAPH: ACM SIGGRAPH Conference |
A |
|
ACM-MM: ACM Multimedia Conference |
A |
|
DCC: Data Compression Conf |
A |
|
SIGMETRICS: ACM Conf on Meas. & Modelling of Comp Sys |
A |
|
SIGIR: ACM SlGlR Conf on Information Retrieval |
A |
|
PECCS: IFlP lntl Conf on Perf Eval of Comp \& Comm Sys |
A |
|
WWW: World-Wide Web Conference |
A |
|
IEEE Visualization |
B |
|
EUROGRAPH: European Graphics Conference |
B |
|
CGI: Computer Graphics International |
B |
|
CANIM: Computer Animation |
B |
|
PG: Pacific Graphics |
B |
|
NOSSDAV: Network and OS Support for Digital AN |
B |
|
PADS: ACMtIEEEISCS Workshop on Parallel \& Dist Simulation |
B |
|
WSC: Winter Simulation Conference |
B |
|
ASS: IEEE Annual Simulation Symposium |
B |
|
MASCOTS: Symp Model Analysis \& Sim of Comp \& Telecom Sys |
B |
|
PT: Perf Tools - lntl Conf on Model Tech \& Tools for CPE |
B |
|
Netstore: Network Storage Symposium |
B |
|
MMCN: ACMISPIE Multimedia Computing and Networking |
B |
|
JCDL: Joint Conference on Digital Libraries |
B |
|
e-Science: IEEE International Conference on e-science and Grid Computing |
B |
|
ICGC: International Conference on Grid Computing |
B |
|
ACM-HPC: ACM Hypertext Conf |
C |
|
MMM: Multimedia Modelling |
C |
|
ICME: lntl Conf on MMedia & Expo |
C |
|
APweb: Asia Pacific Web Conference |
C |
|
DSS: Distributed Simulation Symposium |
C |
|
SCSC: Summer Computer Simulation Conference |
C |
|
WCSS: World Congress on Systems Simulation |
C |
|
ESS: European Simulation Symposium |
C |
|
ESM: European Simulation Multiconference |
C |
|
HPCN: High-Performance Computing and Networking |
C |
|
Geometry Modeling and Processing |
C |
|
WISE: lntl Conf on Web Information Systems Engineering |
C |
|
DS-RT: Distributed Simulation and Real-time Applications |
C |
|
IEEE lntl Wshop on Dist Int Simul and Real-Time Applications |
C |
|
ECIR: European Colloquium on Information Retrieval |
C |
|
Ed-Media |
C |
|
IMSA: lntl Conf on Internet and MMedia Sys |
C |
|
|
|
|
System Technology (Including networking and security) |
|
|
SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps |
A |
|
SPAA: Symp on Parallel Algms and Architecture |
A |
|
PODC: ACM Symp on Principles of Distributed Computing |
A |
|
PPoPP: Principles and Practice of Parallel Programming |
A |
|
MassPar: Symp on Frontiers of Massively Parallel Proc |
A |
|
RTSS: Real Time Systems Symp |
A |
|
SOSP: ACM SIGOPS Symp on OS Principles |
A |
|
OSDI: Usenix Symp on OS Design and Implementation |
A |
|
CCS: ACM Conf on Comp and Communications Security |
A |
|
S&P: IEEE Symposium on Security and Privacy |
A |
|
MOBICOM: ACM lntl Conf on Mobile Computing and Networking |
A |
|
MOBIHOC: ACM lnternational Symposium on Mobile Ad Hoc Networking and Computing |
A |
|
ICNP: lntl Conf on Network Protocols |
A |
|
OPENARCH: IEEE Conf on Open Arch and Network Prog |
A |
|
PACT: lntl Conf on Parallel Arch and Compil Tech |
A |
|
INFOCOM: Annual Joint Conf IEEE Comp & Comm Soc |
A |
|
USENIX Symp on lnternet Tech and Sys |
B |
|
RTAS: IEEE Real-Time and Embedded Technology and Applications Symposium |
B |
|
Percom: IEEE lnternational Conference on Pervasive Computing and Communications |
A |
|
UbiCornp: Uniquitous Computing |
A |
|
CC: lnternational Conference Compiler Construction |
B |
|
IPDPS: lntl Parallel and Dist Processing Syrnp |
B |
|
MOBISYS: lnternational Conference on Mobile Systems, Applications, and Services |
B |
|
SenSys: ACM Conference on Embedded Networked Sensor Systems |
B |
|
ICPP: lntl Conf on Parallel Processing |
B |
|
ICDCS: IEEE lntl Conf on Distributed Cornp Systems |
B |
|
SRDS: Symp on Reliable Distributed Systems |
B |
|
MPPOI: Massiveiy Par Proc Using Opt lnterconns |
B |
|
ASAP: lntl Conf on Apps for Specific Array Processors |
B |
|
Euro-Par: European Conf. on Parallel Computing |
B |
|
Usenix Security Symposium |
B |
|
NDSS: ISOC Network and Distributed System Security Symposium |
B |
|
ESORICS: European Symposium on Research in Computer Security |
B |
|
RAID: lnternational Symposium on Recent Advances in Intrusion Detection |
B |
|
DSN: The lnternational Conference on Dependable Systems and Networks |
B |
|
ACSAC: Annual Computer Security Applications Conference |
B |
|
WCW: Web Caching Workshop |
B |
|
LCN: IEEE Annual Conference on Local Computer Networks |
B |
|
IPCCC: IEEE lntl Phoenix Conf on Comp & Communications |
B |
|
CCC: Cluster Computing Conference |
B |
|
ICC: lntl Conf on Comm |
B |
|
WCNC: IEEE Wireless Communications and Networking Conference |
B |
|
IPSN: International Conference on Information Processing in Sensor Networks |
B |
|
IPTPS: Annual lnternational Workshop on Peer-To-Peer Systems |
B |
|
CSFW: lEEE Computer Security Foundations Workshop |
B |
|
MPCS: Intl. Conf. on Massively Parallel Computing Systems |
C |
|
GLOBECOM: Global Comm |
C |
|
IMC: lnternet Measurement Conference |
C |
|
IC3N: lntl Conf on Comp Comm and Networks |
C |
|
ICCC: lntl Conf on Comp Communication |
C |
|
NOMS: IEEE Network Operations and Management Symp |
C |
|
CONPAR: lntl Conf on Vector and Parallel Processing |
C |
|
VAPP: Vector and Parallel Processing |
C |
|
ICPADS: lntl Conf. on Parallel and Distributed Systems |
C |
|
Public Key Cryptosystems |
C |
|
Fast Software Encryption |
C |
|
SecureComm: Int. Conf on Security and Privacy for Emerging Areas in Communication Network |
C |
|
AsiaCCS: ACM Symposium on Information, Computer and Communications Security |
C |
|
ACNS: International Conference on Applied Cryptography and Network Security |
C |
|
Annual Workshop on Selected Areas in Cryptography |
C |
|
Australasia Conference on Information Security and Privacy |
C |
|
Int. Conf on lnofrm and Comm. Security |
C |
|
Financial Cryptography |
C |
|
Workshop on lnformation Hiding |
C |
|
Smart Card Research and Advanced Application Conference |
C |
|
ICON: lntl Conf on Networks |
C |
|
IMSA: lntl Conf on lnternet and MMedia Sys |
C |
|
NCC: Nat Conf Comm |
C |
|
IN: IEEE lntell Network Workshop |
C |
|
Softcomm: Conf on Software in Tcomms and Comp Networks |
C |
|
INET: lnternet Society Conf |
C |
|
Workshop on Security and Privacy in E-commerce |
C |
|
EEE: IEEE Conference on e-Technology, e-Commerce and e-Service |
C |
|
|
|
|
Programming Languages and Software Engineering |
|
|
POPL: ACM-SIGACT Symp on Principles of Prog Langs |
A |
|
PLDI: ACM-SIGPLAN Symp on Prog Lang Design & lmpl |
A |
|
OOPSLA: 00 Prog Systems, Langs and Applications |
A |
|
ICFP: lntl Conf on Function Programming |
A |
|
JICSLPIICLPIILPS: (Joint) lntl ConflSymp on Logic Prog |
A |
|
ICSE: lntl Conf on Software Engineering |
A |
|
FSE: ACM Conference on the Foundations of Software Engineering |
A |
|
FMIFME: Formal Methods, World CongressIEurope |
A |
|
CAV: Computer Aided Verification |
A |
|
CP: lntl Conf on Principles & Practice of Constraint Prog |
B |
|
TACAS: Tools and Algos for the Const and An of Systems |
B |
|
ESOP: European Conf on Programming |
B |
|
ICCL: IEEE lntl Conf on Computer Languages |
B |
|
PEPM: Symp on Partial Evalutation and Prog Manipulation |
B |
|
SAS: Static Analysis Symposium |
B |
|
RTA: Rewriting Techniques and Applications |
B |
|
ESEC: European Software Engineering Conf |
B |
|
IWSSD: lntl Workshop on SNV Spec & Design |
B |
|
CAiSE: lntl Conf on Advanced Info System Engineering |
B |
|
ITC: IEEE lntl Test Conf |
B |
|
IWCASE: lntl Workshop on Cumpter-Aided Software Eng |
B |
|
SSR: ACM SIGSOFT Working Conf on Software Reusability |
B |
|
SEKE: lntl Conf on SIE and Knowledge Engineering |
B |
|
ICSR: IEEE lntl Conf on Software Reuse |
B |
|
ASE: Automated Software Engineering Conference |
B |
|
PADL: Practical Aspects of Declarative Languages |
B |
|
ISRE: Requirements Engineering |
B |
|
ICECCS: IEEE lntl Conf on Eng. of Complex Computer Systems |
B |
|
IEEE lntl Conf on Formal Engineering Methods |
B |
|
lntl Conf on Integrated Formal Methods |
B |
|
FOSSACS: Foundations of Software Science and Comp Struct |
B |
|
APLAS: Asian Symposium on Programming Languages and Systems |
B |
|
MPC: Mathematics of Program Construction |
B |
|
ECOOP: European Conference on Object-Oriented Programming |
B |
|
FASE: Fund Appr to Soft Eng |
C |
|
APSEC: Asia-Pacific SIE Conf |
C |
|
PAPIPACT: Practical Aspects of PROLOGIConstraint Tech |
C |
|
ALP: lntl Conf on Algebraic and Logic Programming |
C |
|
PLILP: Prog, Lang Implentation & Logic Programming |
C |
|
LOPSTR: lntl Workshop on Logic Prog Synthesis & Transf |
C |
|
ICCC: lntl Conf on Compiler Construction |
C |
|
COMPSAC: Intl. Computer SNV and Applications Conf |
C |
|
ICSM: Int. Conf on Software Maintenance |
C |
|
TAPSOFT: lntl Joint Conf on Theory & Pract of S/W Dev |
C |
|
WCRE: SIGSOFT Working Conf on Reverse Engineering |
C |
|
AQSDT: Symp on Assessment of Quality SNV Dev Tools |
C |
|
IFlP lntl Conf on Open Distributed Processing |
C |
|
lntl Conf of Z Users |
C |
|
IFlP Joint Int'l Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification |
C |
|
PSI (Ershov conference) |
C |
|
UML: International Conference on the Unified Modeling Language |
C |
|
EDOC: IEEE Conference on Enterprise Computing |
C |
|
|
|
|
Algorithms and Theory |
|
|
STOC: ACM Symp on Theory of Computing |
A |
|
FOCS: IEEE Symp on Foundations of Computer Science |
A |
|
COLT: Computational Learning Theory |
A |
|
LICS: IEEE Symp on Logic in Computer Science |
A |
|
SCG: ACM Symp on Computational Geometry |
A |
|
SODA: ACMISIAM Symp on Discrete Algorithms |
A |
|
SPAA: ACM Symp on Parallel Algorithms and Architectures |
A |
|
PODC: ACM Symp on Principles of Distributed Computing |
A |
|
ISSAC: Intl. Symp on Symbolic and Algebraic Computation |
A |
|
CRYPTO: Advances in Cryptology |
A |
|
EUROCRYPT: European Conf on Cryptography |
A |
|
CONCUR: International Conference on Concurrency Theory |
B |
|
ICALP: lntl Colloquium on Automata, Languages and Prog |
B |
|
STACS: Symp on Theoretical Aspects of Computer Science |
B |
|
CC: IEEE Symp on Computational Complexity |
B |
|
WADS: Workshop on Algorithms and Data Structures |
B |
|
MFCS: Mathematical Foundations of Computer Science |
B |
|
SWAT: Scandinavian Workshop on Algorithm Theory |
B |
|
ESA: European Symp on Algorithms |
B |
|
IPCO: MPS Conf on integer programming & comb optimization |
B |
|
LFCS: Logical Foundations of Computer Science |
B |
|
ALT: Algorithmic Learning Theory |
B |
|
EUROCOLT: European Conf on Learning Theory |
B |
|
DSIC: Int'l Symp om Distributed Computing (old: WDAG) |
B |
|
ISTCS: Israel Symp on Theory of Computing and Systems |
B |
|
ISAAC: lntl Symp on Algorithms and Computation |
B |
|
FST&TCS: Foundations of SNV Tech & Theoretical CS |
B |
|
LATIN: lntl Symp on Latin American Theoretical lnformatics |
B |
|
RECOMB: Annual lntl Conf on Comp Molecular Biology |
B |
|
CADE: Conf on Automated Deduction |
B |
|
IEEEIT: IEEE Symposium on lnformation Theory |
B |
|
Asiacrypt |
B |
|
MEGA: Methods Effectives en Geometrie Algebrique |
C |
|
ASIAN: Asian Computing Science Conf |
C |
|
CCCG: Canadian Conf on Computational Geometry |
C |
|
FCT: Fundamentals of Computation Theory |
C |
|
WG: Workshop on Graph Theory |
C |
|
CIAC: Italian Conf on Algorithms and Complexity |
C |
|
ICCI: Advances in Computing and lnformation |
C |
|
AWTI: Argentine Workshop on Theoretical lnformatics |
C |
|
CATS: The Australian Theory Symp |
C |
|
COCOON: Annual lntl Computing and Combinatorics Conf |
C |
|
UMC: Unconventional Models of Computation |
C |
|
MCU: Universal Machines and Computations |
C |
|
GD: Graph Drawing |
C |
|
SIROCCO: Structural Info & Communication Complexity |
C |
|
ALEX: Algorithms and Experiments |
C |
|
ALG: ENGG Workshop on Algorithm Engineering |
C |
|
LPMA: lntl Workshop on Logic Programming and Multi-Agents |
C |
|
EWLR: European Workshop on Learning Robots |
C |
|
CITB: Complexity & info-theoretic approaches to biology |
C |
|
FTP: lntl Workshop on First-Order Theorem Proving (FTP) |
C |
|
CSL: Annual Conf on Computer Science Logic (CSL) |
C |
|
AAAAECC: Conf On Applied Algebra, Algebraic Algms & ECC |
C |
|
DMTCS: lntl Conf on Dm Math and TCS |
C |
|
JCDCG: Japan Conference on and Computational Geometry |
C |
|
|
|
|
Data Bases |
|
|
SIGMOD: ACM SIGMOD Conf on Management of Data |
A |
|
PODS: ACM SIGMOD Conf on Principles of DB Systems |
A |
|
VLDB: Very Large Data Bases |
A |
|
ICDE: lntl Conf on Data Engineering |
A |
|
ICDT: lntl Conf on Database Theory |
A |
|
SSD: lntl Symp on Large Spatial Databases |
B |
|
DEXA: Database and Expert System Applications |
B |
|
FODO: lntl Conf on Foundation on Data Organization |
B |
|
EDBT: Extending DB Technology |
B |
|
DOOD: Deductive and Object-Oriented Databases |
B |
|
DASFAA: Database Systems for Advanced Applications |
B |
|
CIKM: lntl. Conf on lnformation and Knowledge Management |
B |
|
SSDBM: lntl Conf on Scientific and Statistical DB Mgmt |
B |
|
CooplS - Conference on Cooperative lnformation Systems |
B |
|
ER - lntl Conf on Conceptual Modeling (ER) |
B |
|
COMAD: lntl Conf on Management of Data |
C |
|
BNCOD: British National Conference on Databases |
C |
|
ADC: Australasian Database Conference |
C |
|
ADBIS: Symposium on Advances in DB and lnformation Systems |
C |
|
DaWaK - Data Warehousing and Knowledge Discovery |
C |
|
RIDE Workshop |
C |
|
IFIP-DS: IFIP-DS Conference |
C |
|
IFIP-DBSEC - IFlP Workshop on Database Security |
C |
|
NGDB: lntl Symp on Next Generation DB Systems and Apps |
C |
|
ADTI: lntl Symp on Advanced DB Technologies and Integration |
C |
|
FEWFDB: Far East Workshop on Future DB Systems |
C |
|
MDM - Int. Conf. on Mobile Data AccessIManagement (MDNMDM) |
C |
|
ICDM - IEEE International Conference on Data Mining |
C |
|
VDB - Visual Database Systems |
C |
|
IDEAS - International Database Engineering and Application Symposium |
C |
|
|
|
|
Miscellaneous |
|
|
RECOMB: Annual lntl Conf on Comp Molecular Biology |
B |
|
AMIA: American Medical Informatics Annual Fall Symposium |
B |
|
DNA: Meeting on DNA Based Computers |
B |
|
CSCW: Conference on Computer Supported Cooperative Work |
B |
|
MEDINFO: World Congress on Medical lnformatics |
C |
|
International Conference on Sequences and their Applications |
C |
|
ECAIM: European Conf on Al in Medicine |
C |
|
APAMI: Asia Pacific Assoc for Medical lnformatics Conf |
C |
|
INBS: IEEE lntl Symp on Intell. in Neural & Bio Systems |
C |
|
SAC: ACMISIGAPP Symposium on Applied Computing |
C |
|
ICSC: Internal Computer Science Conference |
C |
|
ISCIS: lntl Symp on Computer and Information Sciences |
C |
|
ICSC2: International Computer Symposium Conference |
C |
|
ICCE: lntl Conf on Comps in Edu |
C |
|
WCC: World Computing Congress |
C |
|
PATAT: Practice and Theory of Automated Timetabling |
C |