[TYPES/announce] DCM 2015 (Cali, Colombia): Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS DCM 2015: 11th International Workshop on Developments in Computational Models October 28, 2015, Cali - Colombia

[TYPES/announce] ICTAC 2015: Deadline Extension.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The submission deadline for ICTAC 2015 (The 12th International Colloquium on Theoretical Aspects of Computing) has been extended. The new dates are: - Abstract submission deadline: June 16

[TYPES/announce] Deadline extension - DCM 2015 (Cali, Colombia, co-located with ICTAC 2015)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia

[TYPES/announce] PhD position in Groningen on concurrency theory / semantics / process calculi

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We welcome expressions of interest for a four-year PhD position currently available within the Fundamental Computing group, University of Groningen (the Netherlands) - see w

[TYPES/announce] Call for submissions: Recent Advances in Concurrency and Logic (RADICAL 2017) - co-located with CONCUR’17.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and logic, are warmly welcome! ] === CALL FOR SUBMISSIONS Recent Advances in C

[TYPES/announce] Recent Advances in Concurrency and Logic (RADICAL 2017) -- 2nd Call for Submissions.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and logic, are warmly welcome! ] === 2nd CALL FOR SUBMISSIONS Recent Advances

[TYPES/announce] RADICAL@CONCUR'17: Recent Advances in Concurrency and Logic - 3rd Call for Submissions.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and logic, are warmly welcome! ] === 3rd CALL FOR SUBMISSIONS Recent Advances

[TYPES/announce] RADICAL 2017 -- Deadline Extension (July 7).

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please notice the extended deadline. Submissions from the TYPES readership, broadly related to concurrency and logic, are warmly welcome! ] === Recen

[TYPES/announce] EXPRESS/SOS 2018 -- First Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === FIRST CALL FOR PAPERS Com

[TYPES/announce] Postdoctoral Fellowships in the University of Groningen, The Netherlands.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Organization The University of Groningen is a research university with a global outlook, deeply rooted in Groningen, City of Talent. Quality has had top priority for four hundred years, an

[TYPES/announce] PhD position on type systems for concurrency

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a four-year PhD position at the University of Groningen (the Netherlands) - see www.rug.nl. The position is offered in the context of the project "Advanced Struct

[TYPES/announce] EXPRESS/SOS 2018 -- Second Call for Papers.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === SECOND CALL FOR PAPERS Co

[TYPES/announce] Tenure-Track Position: Information Assurance and Security

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Tenure-Track Position: Information Assurance and Security *** The University of Groningen (The Netherlands) invites applications for an assistant professor position (tenure-track) on *In

[TYPES/announce] EXPRESS/SOS 2018 -- Final Call for Papers.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === FINAL CALL FOR PAPERS Com

[TYPES/announce] EXPRESS/SOS 2018: Deadline Extension (until June 21st)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === FINAL CALL FOR PAPERS Com

[TYPES/announce] PhD position: Unifying Correctness for Communicating Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely with potential candidates; apologies for any cross-postings.] PHD POSITION ON "UNIFYING CORRECTNESS FOR COMMUNICATING SOFTWARE" University of Groningen, The Netherlands

[TYPES/announce] Assistant/Associate/Full Professor on Theory of Computation.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Groningen (The Netherlands) has one vacancy in "Theory of Computation" at the level of assistant (tenure-track), associate, or full professor. Topics/areas in the scope of

[TYPES/announce] PhD position: Unifying Correctness for Communicating Software (Updated)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please share widely with potential candidates; apologies for any cross-postings. This PhD position was already advertised earlier this month. The text below includes some important updates (

[TYPES/announce] PhD position on Concurrency, Logic, and Type Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PHD POSITION ON “CONCURRENCY, LOGIC, AND TYPE SYSTEMS“ (Posted: August 31, 2018) University of Groningen, The Netherlands We are searching for one four-year PhD position on the topics of con

[TYPES/announce] PhD position on Concurrency, Logic, and Type Systems (Deadline: October 1st).

guide the development of verification tools for message-passing programs. Your PhD research will be embedded in the project "Unifying Correctness for Communicating Software", a VIDI career grant recently awarded to Dr. Jorge A. Perez by the NWO (Netherlands Organization for Scientific Research

[TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - First CfP.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency and programming languages, are warmly welcome. ] === FIRST CALL FOR PAPERS Com

[TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - Second CfP.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Submissions from the TYPES readership, broadly related to concurrency, programming languages, and type systems are warmly welcome. ] === SECOND CALL

[TYPES/announce] Rosalind Franklin Fellowships for Female Tenure-Track Assistant Professors - University of Groningen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Rosalind Franklin Fellowships for talented female researchers. These are tenure-track positions at the Assistant Professor level (in exceptional cases, candidates can be offered a position a

[TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - Final CfP.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Deadline approaching! Submissions from the TYPES readership, broadly related to concurrency, programming languages, and type systems are warmly welcome. ] =

[TYPES/announce] Deadline Extension: EXPRESS/SOS 2019 (co-located with CONCUR 2019).

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Due to several requests, the submission deadline for EXPRESS/SOS has been extended to June 28. Apologies for multiple postings. ] === CALL FOR PAPER

[TYPES/announce] EXPRESS/SOS 2019 (co-located with CONCUR 2019) - Call for Participation.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Apologies for multiple postings. ] === CALL FOR PARTICIPATION Combined 26th International Workshop on Expressiveness in Concurrency and 16th Worksho

[TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation at the University of Groningen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Groningen (The Netherlands) has one vacancy in "Theory of Computation" at the level of assistant (tenure-track), associate, or full professor. We seek an outward looking re

[TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation - University of Groningen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Given the current circumstances, the application deadline for this vacancy has been extended to May, 5, 2020. Please advertise widely! ] The University of Groningen (The Netherlands) has o

[TYPES/announce] PhD scholarship on Concurrency and Logic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely with potential candidates; apologies for any cross-postings.] PHD SCHOLARSHIP ON “CONCURRENCY AND LOGIC“ University of Groningen, The Netherlands (Posted: January 10, 2

[TYPES/announce] PhD scholarship on Concurrency and Logic (Updated)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely with potential candidates; apologies for any cross-postings.] PHD SCHOLARSHIP ON “CONCURRENCY AND LOGIC“ University of Groningen, The Netherlands Apply before March 19,

[TYPES/announce] Two tenure-track positions - University of Groningen, The Netherlands.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple postings of this email.] Dear colleagues, We have two vacancies for tenure-track assistant professors at the Bernoulli Institute

[TYPES/announce] Two PhD positions and Two Postdoc positions in Logic (Groningen) *15 June 2021 deadline*

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, Helle Hvid Hansen and Revantha Ramanayake have several PhD and postdoc positions available - please see below for details. Best regards, Jorge **