The Process Algebra Meetings (better known as PAM) are a forum for the presentation of ongoing and finished research in the areas of process theory, protocol verification, term rewriting, theorem proving, and the like. The meetings are usually held on Wednesdays at CWI Amsterdam (room M279 or M280), starting at 11:00. Presentations should be approximately one hour in length.

The schedule will be maintained on this page, but meetings are also announced by email. If you would like to be on the mailing list, or better: if you would like to give a talk, then send an email to pam@cwi.nl. In the latter case I would like to also receive the title and an abstract of your talk.

For more information or proposals for talks contact the PAM Organiser (Natalia Ioustinova).
Please include a title and abstract in proposals for talks.