[pl-seminar] Well-Structured Transition Systems Everywhere!

Well-structured transition systems (WSTSs) are a general class of infinite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved definitions allow many examples of classical systems to be seen as instances of WSTSs.

Software & Hardware Developer

GARDNER PRODUCTS IS A LEADING MANUFACTURER OF INSECT LIGHT TRAPS WHICH ARE USED IN COMMERCIAL INDUSTRIES SUCH AS FOOD MANUFACTURING TO HELP WITH PEST CONTROL. WE ARE LOOKING TO COLLABORATE WITH A CONTRACT EMPLOYEE IN THE DEVELOPMENT OF A NEW PRODUCT THAT CAN PHOTOGRAPH OUR GLUETRAPS, TRANSMIT THE PICTURE AND TRANSMIT DATA, REGARDING THE LIGHT TRAPS PERFORMANCE, TO OUR CUSTOMERS. THE CONTRACT EMPLOYEE WILL COLLABORATE WITH US IN THE DEVELOPMENT OF THE HARDWARE AND SOFTWARE TO PERFORM THE SPECIFIED OPERATIONS AS LISTED.

Find more details on the attached posting.

[pl-seminar] Functional techniques for PL researchers

Programming languages research often generates useful techniques in functional programming languages such as OCaml or Haskell, but it can also take advantage of such techniques. In this talk, I will cover several ways to write better functional code using 1) generalized algebraic data types, which allow us to refine the return type of type constructors, and 2) Gerard Huet's zippers, which enable efficient local changes to tree-like data structures.

HCI Seminar - From Mr.Mom to r/Daddit: Social Media, Parenting and Gender Equity

Abstract — Traditionally, mothers held the role of primary caretaker at home while fathers were expected to be the primary providers for the family. Social and economic changes in the US over the past four decades have seen more mothers enter the labor market. While mothers are still doing more domestic work, fathers are catching up. However, fathers face a lag in parenting norms as they are still considered primary breadwinners.

Pages

Subscribe to UW-Madison Computer Sciences Department RSS