[TYPES/announce] postdoc position at Wesleyan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, I am looking for a postdoc with me here at Wesleyan. Possible start dates range from this coming fall to the following one. Please email me or submit an application if you're interested! -Dan The Department of Mathematics and Computer Science at Wesleyan University invites applications for a one-year postdoctoral position, that is potentially renewable for a second year, subject to satisfactory performance and available funds. The postdoc will work with Assistant Professor Dan Licata on the topic of homotopy type theory, specifically directed type theory. The successful applicant will be able to pursue his/her own research agenda as well. Teaching is not required, but there may be an opportunity for the postdoc to teach 1 or 2 courses in their first year for additional compensation if they desire to develop their teaching skills and portfolio. Candidates will be expected to have a Ph.D. in hand by the time of appointment. We will review applications until the position is filled; possible start dates range from September 2016 through winter and fall 2017. Applications must be submitted at https://academicjobsonline.org/ajo/jobs/7590. Applications must include a cover letter, curriculum vitae, and brief research statement. At least one (up to three) letters of recommendation should be submitted on academicjobsonline by the recommender, or the applicant may provide the email addresses of referees from whom we will obtain confidential letters of recommendation. Wesleyan University, located in Middletown, Connecticut, does not discriminate on the basis of race, color, religious creed, age, gender, gender identity or expression, national origin, marital status, ancestry, present or past history of mental disorder, learning disability or physical disability, political belief, veteran status, sexual orientation, genetic information or non-position-related criminal record. We welcome applications from women and historically underrepresented minority groups. Inquiries regarding Title IX, Section 504, or any other non-discrimination policies should be directed to: Antonio Farias, VP for Equity & Inclusion, Title IX and ADA/504 Officer, 860-685-4771, afar...@wesleyan.edu.
[TYPES/announce] Call for Participation: WLP 2016 and co-located events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 30th Workshop on (Constraint) Logic Programming (WLP 2016)24th International Workshop on http://nfa.imn.htwk-leipzig.de/WLP2016/ September 12-13, part of the Leipzig Week of Declarative Programming (L-DEC 2016) Registration is now open, see: http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/ Note the package prices combining co-located events, and the early registration deadline of August 15 (bank transfer must have been received by that date to secure the reduced fee). *** The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). This year the workshop is part of the Leipzig Week of Declarative Programming (L-DEC) 2016 September 12-15, 2016 and co-located with * WFLP 2016, September 13-14 and * HaL 2016, September 14-15 in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Combined, the three workshops offer two invited talks, an invited musical performance, and more than 25 contributed talks and tutorials. The lists of presentations can be found at: * http://nfa.imn.htwk-leipzig.de/WLP2016/WLP16accepted.html * https://wflp2016.github.io/accepted.html * http://hal2016.haskell.org/#program and the layout of the overall programme at http://nfa.imn.htwk-leipzig.de/LDEC2016/program/ -- -- Prof. Dr. Sibylle Schwarz -- http://www.imn.htwk-leipzig.de/~schwarz -- sibylle.schw...@htwk-leipzig.de -- phone 0341 / 3076 6483
[TYPES/announce] DSLDI 2016: Final Call for Talk Proposals (Extended Deadline)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * FINAL CALL FOR TALK PROPOSALS DSLDI 2016 Fourth Workshop on Domain-Specific Language Design and Implementation October 31, 2016 Amsterdam, Netherlands Co-located with SPLASH http://2016.splashcon.org/track/dsldi2016 https://twitter.com/wsdsldi * Deadline for talk proposals: August 15, 2016 (extended!) *** Workshop Goal *** Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations. The goal of the DSLDI workshop is to bring together researchers and practitioners interested in discussing how DSLs should be designed, implemented, supported by tools, and applied in realistic contexts. The focus of the workshop is on all aspects of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. More generally, we are interested in continuing to build a community that can drive forward the development of modern DSLs. An additional goal of this year's workshop is to encourage discussion about the usability of DSLs, and to establish connections with researchers in related areas, such as end-user software engineering, who have studied human factors of programming languages and tools. *** Workshop Format *** DSLDI is a single-day workshop and will consist of moderated audience discussions structured around a series of talks. The role of the talks is to facilitate interesting and substantive discussion. Therefore, we welcome and encourage talks that express strong opinions, describe open problems, propose new research directions, and report on early research in progress. Proposed talks should be on topics within DSLDI's area of interest, which include but are not limited to: * solicitation and representation of domain knowledge * DSL design principles and processes * DSL implementation techniques and language workbenches * domain-specific optimizations * human factors of DSLs * tool support for DSL users * community and educational support for DSL users * applications of DSLs to existing and emerging domains * studies of usability, performance, or other benefits of DSLs * experience reports of DSLs deployed in practice *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, open problem, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * Deadline for talk proposals: August 15, 2016 * Notification: September 5, 2016 * Workshop: October 31, 2016 * Submission website: https://dsldi16.hotcrp.com/ *** Workshop Organization *** Organizers: * Eric Walkingshaw (Oregon State University) * Tijs van der Storm (CWI) Program committee: * Iman Avazpour (Deakin University) * Christopher Bogart (Carnegie Mellon University) * Andy Gill (University of Kansas) * Sylvia Grewe (TU Darmstadt) * Kate Howland (University of Sussex) * Lindsey Kuper (Intel Labs) * Darya Kurilova (Carnegie Mellon University) * Ralf Lämmel (University of Koblenz-Landau) * Tanja Mayerhofer (Vienna University of Technology) * Marjan Mernik (University of Maribor) * Sarah Mount (King's College London) * Justin Pombrio (Brown University) * Tillmann Rendel (University of Tübingen) * Tiark Rompf (Purdue & Oracle Labs) * Sonja Schimmler (Bundeswehr University Munich) * Markus Völter (itemis) * Peng Wu (Huawei America Lab)