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 Information
Why we need this information: 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. Please help us collect the data we need to gauge our success at advancing diversity, equity, and inclusion (DEI) in all ACM activities by responding to the questions below.

The anonymized data will be used to gauge ACM's success in advancing DEI through annual reporting to the ACM membership. This anonymized data may also be used for conference resourcing, and for improvement of ACM services, policies, and processes. The data will be reported in aggregate only for 50 people or more. For details about the storage of and access to these data, please see the ACM Privacy Policy.










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