List of Conferences and Journals

Here are a number of conferences and journals where you can look for your colloquium topic. Just google them.

In the area of Programming/Software Technology

Symposium on Principles of Programming Languages (POPL)
Practical Aspects of Declarative Languages (PADL)
Partial Evaluation and Program Manipulation (PEPM)
International Conference on Functional Programming (ICFP)
Implementation of Functional Languages (IFL)
Programming Language Design and Implementation (PLDI)
European Symposium on Programming (ESOP)
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
European Conference on Object-Oriented Programming (ECOOP)
Foundations of Object-Oriented Languages (FOOL)
International Conference on Software Testing, Verification and Validation (ICST)
International Symposium on Software Testing and Analysis (ISSTA)
Software Engineering and Formal Methods (SEFM)
Foundations of Software Engineering (FSE)
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

In the area of Data Mining

ECML-PKDD (European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Data Bases) KDD (ACM SIGKDD Conference on Knowledge Discovery and Data Mining) SDM (SIAM International Conference on Data Mining) ICDM (IEEE International Conference on Data Mining) ICML (International Conference on Machine Learning) (Journal) Data Mining and Knowledge Discovery (Springer) (Journal) Machine Learning (Springer) Journal of Machine Learning Research (Online: (Journal) ACM Transactions on Knowledge Discovery from Data (TKDD) (Journal) SIGKDD Explorations (Online: