Related web sites

Programming languages and compiler construction

• Programming language Research
• Researchers in Programming Languages and Compilers
• Catalog of Free Compilers and Interpreters

Formal Methods

• Steam Boiler Competition

Related Calendars

• ACM SIG's Conferences and Workshop

Related Organizations

Europe

• European joint conferences on Theory and Practice of Software (ETAPS)
• European Association for Computer Science Logic (EACSL)
• European Association for Theoretical Computer Science (EATCS)
• EC's Community Research and Development Information Service (CORDIS)
• European Association of Software Science and Technology (EASST)

Other

• Association for Computing Machinery (ACM)
• SIGPLAN
• SIGSOFT

Related Journals and Publications

Collections

• The Directory of Computing Science Journals
• Electronic Journals (virtual library)
• Electronic Library in Computing Science
• A Collection of Computer Science Bibliographies

Journals

• Annals of Software Engineering
• Chicago Journal of Theoretical Computer Science
• Communications of the ACM
• Data and Knowledge Engineering
• Future Generations Computer Systems
• Information Processing Letters
• Information and Computation
• Information and Software Technology
• Journal of Programming Languages
• Journal of Symbolic Computation
• Journal of Universal Computer Science
• Knowledge-based systems
• Parallel Computing
• Science of Computer Programming
• Software Quality Journal
• Theoretical Computer Science
• The Journal of Functional and Logic Programming
• The Journal of Functional Programming
• Transactions on Programming Languages and Systems (TOPLAS)
• Computer
• Computerworld

Miscellaneous

• Classification Systems