Are Temporary Jobs a Port of Entry into Permanent Employment? Evidence from Matched Employer-Employee Data

Are temporary jobs a port of entry into permanent employment? In this paper we argue that the answer crucially depends on the type of temporary contracts being considered, as the different contracts observed in practice are typically characterized by varying combinations of training, tax-incentives and EPL provisions. We base our empirical evidence on a longitudinal sample of labour market entrants in Italy, a country where a large number of temporary contracts coexist with a relatively high employment protection for standard employees. We estimate dynamic multinomial logit models with fixed effects, to allow for non-random sorting of workers into the different types of contracts. We show that the transition to permanent employment is more likely for individuals holding any type of temporary contracts than for the unemployed, thus broadly confirming the existence of port-of-entry effects. Yet, not all temporary contracts are the same: training contracts are the best port of entry, while freelance contracts are the worst. We also show that temporary contracts are generally a port-of-entry into a permanent position within the same employer, but not across firms, implying that little general-purpose training is gained while on temporary jobs. Moreover, the time needed for an internal transformation from a temporary to a permanent position appears rather long, suggesting that firms are likely to use (a sequence of) temporary contracts as a cost-reduction strategy, rather than as a screening device for newly hired workers.temporary jobs, port of entry, matched employer-employee data, dynamic multinomial logit models, state dependence, fixed effects

“DOCTOR! Go for a course in HR Management"

A key principle of family medicine is the management of resources. Human Resource Management (HRM) underpins other principles of family medicine. It is not only the doctor but also the staff around him or her who enables and responds to the patient experience. South African private general practitioners struggle with staff management within an increasingly complex and regulated environment. Simple approaches, documents such as employment contracts and codes of conduct, and checklists highlighting statutory and best practise requirements can ensure good HRM. People-centred HRM contributes to a patient-centred practice. It can also address skills and incapacity in a fair manner, keeping the practice within the law and partnering in social transformation and primary health care delivery. SA Fam Pract 2004;46(8): 5-8

Casebooks and the Future of Contracts Pedagogy

Contracts teachers have long relied on the casebooks they adopt to help them build and shape both the content and the pedagogy of their contracts classes. The Knapp, Crystal, & Prince casebook has been particularly noteworthy in this regard, helping generations of new and experienced law teachers learn and explore contracts doctrine under the guidance of Chuck Knapp and his co-authors. As casebook authors take seriously the forces and trends in academic publishing, the casebooks are bound to change in significant ways, leading to innovation and even transformation of the course itself. Driving the change are at least six developments and concerns: (1) recognition that the course must include more attention to the concepts and skills that matter to practicing lawyers; (2) new accreditation standards that require identification of learning outcomes expected from our courses; (3) the need (if not yet the reality) to have the bar exam be focused less on knowledge and more on skills; (4) perhaps most importantly, increasing knowledge about what good learning practice requires in the classroom; (5) availability of new technologies to deliver more dynamic content; and (6) changing demands from publishers and students, partly as a result of the other forces mentioned. Our teaching is already adapting to the new law school environment, and visionary casebooks, in contracts as elsewhere in the curriculum, can and should lead the way

Automated verification of model transformations based on visual contracts

The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-yModel-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach. Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used. In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.This work has been funded by the Austrian Science Fund (FWF) under grant P21374-N13, the Spanish Ministry of Science under grants TIN2008-02081 and TIN2011-24139, and the R&D programme of the Madrid Region under project S2009/TIC-1650

Static Application-Level Race Detection in STM Haskell using Contracts

Writing concurrent programs is a hard task, even when using high-level synchronization primitives such as transactional memories together with a functional language with well-controlled side-effects such as Haskell, because the interferences generated by the processes to each other can occur at different levels and in a very subtle way. The problem occurs when a thread leaves or exposes the shared data in an inconsistent state with respect to the application logic or the real meaning of the data. In this paper, we propose to associate contracts to transactions and we define a program transformation that makes it possible to extend static contract checking in the context of STM Haskell. As a result, we are able to check statically that each transaction of a STM Haskell program handles the shared data in a such way that a given consistency property, expressed in the form of a user-defined boolean function, is preserved. This ensures that bad interference will not occur during the execution of the concurrent program.Comment: In Proceedings PLACES 2013, arXiv:1312.2218. [email protected]; [email protected]

Combining Static and Dynamic Contract Checking for Curry

Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that operations are only invoked with reasonable arguments and return intended results. Although such dynamic contract checking provides more reliable program execution, it requires execution time and could lead to program crashes that might be detected with more advanced methods at compile time. To improve this situation for declarative languages, we present an approach to combine static and dynamic contract checking for the functional logic language Curry. Based on a formal model of contract checking for functional logic programming, we propose an automatic method to verify contracts at compile time. If a contract is successfully verified, dynamic checking of it can be omitted. This method decreases execution time without degrading reliable program execution. In the best case, when all contracts are statically verified, it provides trust in the software since crashes due to contract violations cannot occur during program execution.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing con- tracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality

Realigning Resources for District Transformation: Using American Recovery and Reinvestment Act Funds to Advance a Strategic Education Reform Agenda

Offers ideas for spending stimulus funds strategically to align and restructure districts' use of resources to improve student performance by assessing current practices, focusing on support for quality instruction, and making transitional investments

Change and Transformation in Asian Industrial Relations

Authors argue that industrial relations systems change due to shifts in the constraints facing those systems, and that the most salient constraints facing IR systems in Asia have shifted from those of maintaining labor peace and stability in the early stages of industrialization, to those of increasing both numerical and functional flexibility in the 1980s and 1990s. The evidence to sustain the argument is drawn from seven “representative” Asian IR systems: Japan, South Korea, Singapore, Malaysia, the Philippines, India, and China. They also distinguish between systems that have smoothly adapted (Singapore, Malaysia, and the Philippines) and systems that have fundamentally transformed (China and South Korea), and hypothesize about the reasons for this difference