ACM SIG 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).
What is your age group?*
To which gender identity do you most identify?*
Primary Job Function  If necessary, you may select two Job Functions.*
Do you identify as being a member of an underrepresented racial or ethnic group(s) in the place you work? Which ones?*
Do you have a disability or special need that impacts your access to ACM conferences, special interest groups, publications, or digital resources?*

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