ACM SIG Membership

Benefits of ACM Membership

SIGLOG Membership – Professional Application Form

If you are a Student, please use the Student form

You may also opt for both SIGLOG Membership and ACM Membership

If you have an ACM Account, please log in.

  • When you log in, we will prepopulate the form with the information we have for you on file.
  • If you are an existing ACM member, logging in will ensure that this order will be associated with your current membership record.

 

Please fill in the sections below, some fields are required (*) to continue.
Name
Address
Contact Information
If you've been a member of ACM in the past, or have an ACM Account, please enter that email address to align this membership to that record.
Professional Member Profile
By providing the information requested, you will help ACM to better understand the composition of our computing community. This information will help us to identify areas that require improvement. This information is for ACM use only and will only be used in aggregate form, and ACM will never share your personal profile information. (ACM's Privacy Policy).
Primary Job Function  If necessary, you may select two Job Functions.*
Demographic Survey

This survey is designed to help ACM measure progress in relation to diversity, equity and inclusion (DEI) in all ACM activities, and also to help us understand how we can best meet the individual needs of our people (i.e. to improve ACM's services, policies and processes). ACM is deeply committed to fostering a scientific community that supports and benefits from the talents of community members from a wide range of backgrounds.

Data that you submit may be used for the purposes of ACM's diversity-related reporting. The results of such reports may be shared internally or externally in an anonymous and aggregated form for at least 50 individuals.

You can update this data at any time and you have the right to withdraw your consent at any time:

Please see the ACM Privacy Policy for further information on the storage and retention of your personal information.


Demographic Questionnaire










Please select ALL geographic areas from which your family's ancestors first originated:

Please select ALL the groups that apply to you:









Please select ALL that apply to you:













Membership
– The ACM Special Interest Group on Logic and Computation is a community organization dedicated to the advancement of logic and computation, and formal methods in Computer Science, broadly defined. Logic has been called ``the calculus of computer science', playing a crucial role in diverse areas of computer science. Specific areas that fall in this spectrum include: automated deduction, categorical models and logics, domain theory, finite model theory, program analysis, higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logic and automata theory, logic and computational complexity, logical aspects of database theory, logics in AI, logics of programs, logic programming, modal and temporal logics, model checking, process calculi, programming language semantics, reasoning about security, rewriting, semantics of concurrency and distributed computation, type systems and type theory, and formal verification. SIGLOG sponsors the ACM-IEEE conference on Logic and Computer Science(LICS) and participates in the Federated Logic Conferences.
SIG Member Yearly Rate: $25.00
 
ACM Code of Ethics, Policy Against Harassment

By joining ACM, I agree to abide by ACM's Code of Ethics and ACM's Policy Against Harassment. I acknowledge ACM's Policy Against Harassment at ACM Activities and agree that behavior such as the following will constitute grounds for actions against me:

  • Abusive action directed at an individual, such as threats, intimidation, or bullying
  • Racism, homophobia, or other behavior that discriminates against a group or class of people
  • Sexual harassment of any kind, such as unwelcome sexual advances or words/actions of a sexual nature