Formal Methods in Software Engineering: Societies

The IEEE Computer Society is the world's leading membership organization dedicated to computer science and technology. Serving more than 60,000 members, the IEEE Computer Society is the trusted information, networking, and career-development source for a global community of technology leaders that includes researchers, educators, software engineers, IT professionals, employers, and students.

The Australian Computer Society is the professional association for Australia’s Information and Communication Technology (ICT) sector. In everything we do, our goal is to help our members be the best they can be. We’re passionate about recognising professionalism, developing ICT skills and building a community with a true sense of belonging.

ICST uses web technologies to advance democracy, transparency and quality of research to accelerate scientific collaboration and technology innovation processes globally. Empowering you to proactively utilize the society for promoting your scientific goals and having your achievements recognized through unbiased peer evaluation in a way no society has done before.

The IAENG Society of Computer Science (ISCS) is organized for the engineers and the scholars in the computer science discipline. Through regularly scheduled conferences and workshops on the computer science, the IAENG Society of Computer Science serves as a forum for networking, information sharing, idea exchange and problem solving for the computer science community.

This is one of a set of subject pages in the Scholarly Societies Project, which facilitates access to websites of scholarly societies across the world. A set of guidelines is used in determining whether to include resources.

Empowering the research community to broaden the scope of computing research and amplify its impact on society. It has information of special interest to students and faculty in computing research. There are programs and opportunities for women and minorities

IACSIT is a registered international scientific association of distinguished scholars engaged in Computer Science and Information Technology. The IACSIT members include research and development center heads, faculty deans, department heads,

The Computer Society of Pakistan is the national organization of Information Technology professionals in the country. It was established in 1973 to promote the use of computers, increase general awareness among the public and to look after the professional interests of the IT personnel in the country.

PCA, to develop and maintain Pakistan Computer Association as a viable and responsive IT forum in the country by engaging and bringing on board its stakeholders including exporters, importers, distributors and vendors, being the growth engine of the IT business in the country, for their betterment.