- ACM Events and Conferences
- Calendar's and Links to ACM sponsored conferences.
- CAV - The International Conference on Computer Aided Verification
- Discusses the theories and practices of computer aided formal analysis methods for hardware and software systems.
- ERCIM Calendar
- Shows information on the school's calendar of events and conferences related to IT and Applied Mathematics.
- EUFIT
- Gathers together scientists and practitioners from academic, governmental, and industrial institutions to discuss new developments and results in the field of intelligent technologies.
- FOOL
- Discusses the theoretical foundations of object-oriented languages by the researchers around the world.
- FSTTCS
- Presents the upcoming schedule of the conference. With a list of the typical topics to be talked about during the conference.
- ICFP
- Presents the hearing of the latest work on the design, implementations, principles, and uses of functional programming during the conference.
- IEEE Computer Society Conferences
- Presents the society's conference calendar. With details on the conference publication of computer related topics.
- IEEE Conferences
- Conducts conferences which are involved in the technical program development. With contact information.
- IEEE International Conference on Computer Design
- Discusses a wide range of topics in the research, design, and implementation of computer systems.
- IFIP
- Presents the different conferences with various computer related topics. Also includes the contact information of the hosting organizations.
- Schloss Dagstuhl
- Organization that provides opportunities for researchers and practitioners to gather and discuss views and research findings.
|