[TYPES/announce] Open PhD Position at Rochester Institute of Technology (RIT)

[Nestor Catano]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


We are looking for a motivated student interested in pursuing a PhD on 
developing mathematical foundations for Cyber-Security resilient Software 
Architectures, architectures that are resilient by default while relying on 
formal methods techniques.

The research position is at the Department of Software Engineering of Rochester 
Institute of Technology, RIT 
(https://www.rit.edu/computing/department-software-engineering 
), NY, USA. The 
candidate will conduct their work as part of the center for Cyber-Security 
(https://www.rit.edu/cybersecurity/ ). 
Ideal candidates should have some background in one of the following ares a) 
software architectures b) formal methods c) discrete mathematics. The work 
encompasses theoretical research work as well as the ability to implement 
software tools. PhD stipends at RIT are between 28K and 32K USD. 

The candidate will conduct their work as part of the Software Design and 
Productivity Lab (https://design.se.rit.edu/ ), led 
by professor Mehdi Mirakhorli (http://www.se.rit.edu/~mehdi/ 
)

Relevant papers:
1) https://design.se.rit.edu/papers/TacticalVulnerabilities.pdf 
 
2) 
https://www.researchgate.net/publication/276510295_Code_generation_for_Event-B 


For informal and formal inquiries contact Email: nxcc...@rit.edu 
 

Best Regards,
Nestor Catano

[TYPES/announce] Guide to best practices for virtual conferences

[Benjamin C. Pierce]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[TL;DR: Please help circulate a new guide for organizers of virtual 
conferences.]

Dear colleagues,

The Association for Computing Machinery recently chartered a Presidential Task 
Force to gather and disseminate guidance on best practices for virtual 
conferences, aimed at the many conference organizers moving their events online 
right now. 

The task force report, Virtual Conferences: A Guide to Best Practices 
, is now available on the ACM web site 
  It offers a comprehensive survey of 
issues, organizational strategies, and technology platforms for successful 
virtual meetings.

We hope that you and others in your field will find this report useful. If you 
do, we would love to hear about it! And naturally if you have any suggestions 
for improvement, we would love to hear those too; the PDF document linked above 
includes a pointer to a live Google Doc where you can leave suggestions and 
comments if you like. If you have recently organized a virtual conference or 
are organizing one now, we would especially like to include your experiences 
(how you organized it, how it went, what people thought, a summary of any 
post-conference survey results, your advice for future conferences, etc.) and 
add it (or better yet a pointer to it) to the appendix that we’ve provided for 
such experience reports.

Finally, can you please help us make sure this guide reaches the people that 
need it by forwarding this announcement within your networks (especially, of 
course, to current conference organizers)? 

Many thanks!

 Benjamin Pierce

…on behalf of the entire task force:

Crista Videira Lopes , University of 
California, Irvine, USA (Task Force Co-chair)
Jeanna Matthews , Clarkson University, 
USA (Task Force Co-chair, member of ACM Council, Former SGB Chair)
Benjamin Pierce , University of 
Pennsylvania, USA (Task Force Executive Editor, SIGPLAN Vice Chair, chair of 
SIGPLAN ad hoc committee on climate change 
)

Blair MacIntyre , Georgia Tech, USA (Chaired IEEE 
VR 2020)
Gary Olson , University of California, Irvine, USA 
(Former SIGCHI Treasurer; Chair of CSCW Steering Committee, chaired CHI, CSCW, 
DIS, and many non-ACM conferences)
Rob Lindeman 
,
 University of Canterbury, NZ (Chaired IEEE VR 2010)
Francois Guimbretiere , Cornell 
University, USA (Chaired UIST 2019)
Srinivasan Keshav 
, University of 
Cambridge, UK (Former SIGCOMM Chair)

Ex-officio members:
Vicki Hanson  (ACM CEO, Former ACM President)
Pat Ryan (ACM COO)
Donna Cappo (ACM Director of SIG Services)