[TYPES/announce] CFW DisCoTec 2021 [1st Call]
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Satellite Events: Workshops, Tutorials and Tool Tracks 16th International Federated Conference on Distributed Computing Techniques DisCoTec 2021 Valletta, Malta, 14-18 June 2021 https://www.discotec.org/2021 DisCoTec 2021 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. * Main Conferences * - COORDINATION (https://www.discotec.org/2021/coordination) 23rd International Conference on Coordination Models and Languages PC Chairs: Ferruccio Damiani (University of Turin, IT) and Ornela Dardha (University of Glasgow, UK) - DAIS (https://www.discotec.org/2021/dais) 21st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Fabíola Greve (Federal University of Bahia, BR) and Miguel Matos (University of Lisboa & INESC-ID, PT) - FORTE (https://www.discotec.org/2021/forte) 41st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Kirstin Peters (Technical University of Darmstadt, DE) and Tim Willemse (Eindhoven University of Technology, NL) * Workshops * The DisCoTec 2021 organising committee invites proposals for workshops to complement the three main conferences. The aim is to provide a vivid and open forum for discussions, presentations of preliminary research results and ongoing work, as well as presentations of research work to a focussed audience. The workshops will be held in conjunction with the main events. Prospective workshop chairs should contact the organisers and provide the following information: - contact information of the workshop chairs - name of the workshop - number of (expected) participants - brief description of the topic of the event (max. 500 words) - any other relevant information (e.g., invited speakers) Important dates (for all workshops): - January 20, 2021: Workshop proposal submission deadline - January 31, 2021: Notification of accepted workshop proposals - Mid April 2021: Workshop paper submission deadline - Mid May 2021: Notification of accepted workshop papers - June 14-18, 2021: Conferences and workshops The submission and notification deadlines of the workshops are at the discretion of the individual workshop chairs. However, the notification must be no later than the early registration deadline for DisCoTec 2021 (to be announced). * DisCoTec 2021 Workshop Organisers * - Duncan Paul Attard (University of Malta, MT) - Christian Bartolo Burló (Gran Sasso Science Institute, IT) * Further Information * For further information please contact the workshops chairs at . To receive live, up-to-date information, follow us on Twitter @DisCoTecConf.
[TYPES/announce] CFP DisCoTec 2021 [2nd Call]
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple postings] Joint Call for Papers 16th International Federated Conference on Distributed Computing Techniques DisCoTec 2021 Valletta, Malta, 14-18 June 2021 https://www.discotec.org/2021 DisCoTec 2021 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. * Main Conferences * - COORDINATION (https://www.discotec.org/2021/coordination) 23rd International Conference on Coordination Models and Languages PC Chairs: Ferruccio Damiani (University of Turin, IT) and Ornela Dardha (University of Glasgow, UK) - DAIS (https://www.discotec.org/2021/dais) 21st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Fabíola Greve (Federal University of Bahia, BR) and Miguel Matos (University of Lisboa & INESC-ID, PT) - FORTE (https://www.discotec.org/2021/forte) 41st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Kirstin Peters (Technical University of Darmstadt, DE) and Tim Willemse (Eindhoven University of Technology, NL) Important dates (for all main conferences): - January 29, 2021: Abstract submission deadline - February 5, 2021: Paper submission deadline - April 2, 2021: Notification of accepted papers - April 23, 2021: Camera-ready papers deadline - June 14-18, 2021: Conferences and workshops * Keynote Speakers * - Gilles Fedak (iExec, FR) - Mira Mezini (Technical University of Darmstadt, DE) - Alexandra Silva (University College London, UK) * Submission Categories * COORDINATION - Full papers (up to 15 pages + 2 pages references) - Short papers (up to 6 pages + 2 pages references) - Survey papers (up to 25 pages + 2 pages references) - Tool papers (up to 6 pages + 2 pages references + 10 minute demo video) DAIS - Full papers (up to 15 pages + 2 pages references) - Full practical experience reports (up to 15 pages + 2 pages references) - Work-in-progress (up to 6 pages + 2 pages references) FORTE - Full papers (up to 15 pages + 2 pages references) - Short papers (up to 6 pages + 2 pages references) - “Journal First” papers (up to 4 pages, including references) * Proceedings * The proceedings of the DisCoTec 2021 main conferences will be published in Springer's LNCS-IFIP volumes. * Special issue * The individual conferences will organise special issues of extended and selected papers in a reputable journal such as Logical Methods in Computer Science and the Journal of Parallel and Distributed Computing. More information is available on the conference website. * Submission Instructions * Authors are invited to submit their contributions electronically in PDF using a two-phase online submission process. The registration of the paper information and abstract (max. 250 words) must be completed before January 29, 2021. Submission of the manuscript is due by no later than February 5, 2021. Submissions are handled through the EasyChair conference management system: - https://easychair.org/conferences/?conf=dais2021 - https://easychair.org/conferences/?conf=forte21 - https://easychair.org/conferences/?conf=coordination2021 Contributions must be written in English and report on original, unpublished work that has not been submitted for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions — prepared using Springer’s LNCS style — must not exceed the total page limit, including figures and references. Submissions not adhering to the above-specified constraints may be rejected without review. For each accepted paper, one of the authors must register to DisCoTec 2021, and attend the corresponding conference to present the paper. * Satellite Events * DisCoTec also features workshops, tutorials, and a tool track. Workshops, tutorials, and tools demonstrations should fall in the areas of the DisCoTec conferences. For more information refer to the website. * Organising Committee * - Adrian Francalanza (University of Malta, MT — General Chair) - Caroline Caruana (University of Malta, MT — Publicity Chair) - Jasmine Xuereb (University of Malta, MT — Publicity Chair) - Duncan Paul Attard (University of Malta, MT — Workshops Chair)
[TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CS Department at the New Jersey Institute of Technology invites applications for tenure-track faculty positions; one of the areas is Programming Languages/Software Engineering. Please see below for the full ad, and feel free to contact me with any questions. Thank you, Iulian Neamtiu Professor Dept. of Computer Science New Jersey Institute of Technology https://web.njit.edu/~ineamtiu/ = Tenure-track Faculty Positions in the Department of Computer Science at NJIT = The Computer Science Department at New Jersey Institute of Technology (NJIT) invites applications for tenure-track faculty positions starting in Fall 2021. Areas of special interest are: • Cybersecurity • Data Science, Machine Learning, and Artificial Intelligence • Programming Languages and Software Engineering Exceptional candidates in other areas will also be considered. While we are interested in hiring at the rank of Assistant Professor, exceptional candidates at higher ranks will also be considered. Senior candidates in the area of Data Science, Machine Learning, and Artificial Intelligence will be expected to play a leadership role as the Associate Director of the new NJIT Institute for Data Science, whose Director is Distinguished Professor David Bader. Applicants must have a Ph.D. degree by Summer 2021 in a relevant discipline, and outstanding academic credentials that demonstrate their ability to conduct independent world-class research and attract external funding. The successful candidate is also expected to show a commitment to both undergraduate and graduate education. NJIT is designated a Carnegie R1 Research University, with $161M research expenditures in FY19. The Computer Science Department is ranked 77 nationally (by CSRankings) and has 33 tenured/tenure track faculty, with seven NSF CAREER awards and one DARPA Young Investigator award. The department conducts research to solve real-world grand challenges in computer and data science such as FinTech, Health, and Cybersecurity and plays a key role in the NJIT Institute for Data Science and the NJIT Cybersecurity Research Center. The department has strong connections with local industry and works closely with many companies through student Capstone projects, internships, co-ops and joint R projects. The Computer Science Department enrolls approximately 1,800 students at all levels across nine programs of study and participates alongside NJIT’s Informatics Department in the Ying Wu College of Computing (YWCC). The College comprises 28% of the NJIT enrollment, educating more than 3,000 students in computing disciplines, and graduating close to 800 computing professionals every year. As such, it is the largest generator of computing talent in the tri-state (NY, NJ, CT) area. The Computer Science Department is housed in a state-of-the art facility renovated in 2018. The department resides within the Ying Wu College of Computing, which is undergoing significant growth as a priority area for NJIT. This growth is an integral part of NJIT’s five-year strategic plan, which calls for consolidating NJIT as a world-class institution of higher education and research. Applied research, collaboration with industry, innovation and entrepreneurship are encouraged and supported. Performance and tenure expectations are aligned with those of the broader academic computing community, with an emphasis on grant funding and publishing in top conferences and journals. NJIT is located in Newark's University Heights, a vibrant sprawling downtown campus close to Rutgers-Newark, New Jersey Innovation Institute, Essex Community College, New Jersey Medical School, University Hospital, and Rutgers School of Dental Medicine. NJIT is just a 30-minute train ride from New York City and its burgeoning Silicon Alley tech sector. NJIT has recently expanded its graduate Data Science programs to Jersey City, just across the Hudson River from the financial district of Lower Manhattan in New York City, where it serves the many working professionals in that region. To Apply Applications received by December 31, 2020 will receive full consideration. However, applications are welcome until the position is filled. 1. Go to: https://njit.csod.com/ats/careersite/JobDetails.aspx?site=1=2541 2. Create your application, and upload your cover letter, CV, Research Statement, and Teaching Statement on that site. The CV must include at least three names along with contact information for references. The applications will be evaluated as they are received and accepted until the positions are filled. Contact address for inquiries: cs-faculty-sea...@njit.edu. To build a
[TYPES/announce] PhD positions in Mathematical Foundations of Computation at University of Bath
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for 2 PhD positions Funding: Competition funded Deadline: Sunday 21 February 2021 Start:October 2021 (anticipated) Mathematical Foundations Group Department of Computer Science University of Bath = The Mathematical Foundations group = Our group explores some of the deepest topics in logic and their relation to the theory of computation. We establish bridges between proof theory, category theory, semantics and complexity, so that the methods of each discipline enrich the others. We design new theories and solve old problems. For example, we defined a new proof formalism, called 'open deduction', that allowed us to describe one of the most efficient known notions of computation for the lambda-calculus. That was made possible by introducing ideas from complexity theory and category theory into proof theory and its computational interpretations. Our research programme, in a nutshell, is to help develop the mathematics of computation. This matters at least for two reasons. The first is that computing, at present, is art, not engineering. Indeed, because of the lack of mathematics, software correctness is not guaranteed the same way a bridge is guaranteed to stand, for example. The second reason is that the theory of computation is rapidly becoming one of the most important intellectual achievements of civilisation. For example, it is now helping physics and biology create new models in their domain. Because of all that, our doctoral graduates have embarked on excellent academic careers in some of the most intellectually rewarding and innovative branches of research, and will continue to do so. Our webpage: https://www.bath.ac.uk/projects/mathematical-foundations-of-computation/ Please see at the end of this email for a list of projects and supervisors. = Contact = For questions about the project or the application process, please contact us, Alessio Guglielmi a.guglie...@bath.ac.uk Willem Heijltjesw.b.heijlt...@bath.ac.uk or one of the supervisors of the projects at the end of this email. = How to apply = Applicants should hold, or expect to gain, a First Class or good Upper Second Class Honours degree in Mathematics or Computer Science, or the equivalent from an overseas university. A master’s level qualification would be advantageous. Formal applications should be made via the University of Bath’s online application form for a PhD in Computer Science: http://samis.bath.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app=RDUCM-FP01=0015 You would apply to a specific project and supervisor from the list at the end of this email. More information on the general applications process is here: http://www.bath.ac.uk/guides/how-to-apply-for-doctoral-study/ Non-UK applicants will also be required to have met the English language entry requirements of the University of Bath: http://www.bath.ac.uk/corporate-information/postgraduate-english-language-requirements-for-international-students/ Anticipated start date: Monday 4 October 2021 = Funding = Candidates applying for this project may be considered for a 3.5-year studentship from the Engineering and Physical Sciences Council (EPSRC DTP). Funding covers tuition fees, a stipend (£15,285 per annum, 2020/21 rate) and research/training expenses (£1,000 per annum). EPSRC DTP studentships are open to both Home and International students; however, in line with guidance from UK Research and Innovation (UKRI), the number of awards available to International candidates will be limited to 30% of the total. We advise checking our funding webpages before applying: https://www.bath.ac.uk/corporate-information/funding-for-doctoral-research-in-science/ = Projects and Supervisors = VERIFICATION FOR REAL POLYNOMIAL ARITHMETIC Russell Bradford | r.j.bradf...@bath.ac.uk | http://people.bath.ac.uk/masrjb/ James Davenport | j.h.davenp...@bath.ac.uk | http://people.bath.ac.uk/masjhd/ Many problems in building verified software systems in the real world (e.g. air traffic control) involve the proof of statements about real polynomial arithmetic, often including inequalities. In principle we have known how to solve such systems for many years, but the theoretical, and too often the practical, complexity is excessive. There has been much work, at Bath, Coventry and elsewhere, in reducing the cost for important special cases, notably the cases when there are equations as well as inequalities. However, this leads to a large piece of software, resting on fairly complicated theorems. Recent research by Bath, Coventry and RWTH has produced a method (http://arxiv.org/abs/2004.04034) which converts such a problem into a sequence of simpler statements, which may be much