Human-Centric Program Synthesis

Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples? What actual issues in day-to-day development would stand to benefit the most from synthesis? How can a human-centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool

Blended learning internationalization from the commonwealth: An Australian and Canadian collaborative case study

This case depiction addresses the contentious issue of providing culturally and globally accessible teaching and learning to international students in universities in the Commonwealth nations of Australia and Canada. The chapter describes the university systems and cultures, the barriers to authentic higher education internationalization, and the problems frequently experienced by international students. Two university cases are presented and analysed to depict and detail blended learning approaches (face-toface combined with e-learning) as exemplars of culturally and globally accessible higher education and thereby ideologically grounded internationalization. Lessons learned are presented at the systems level and as teaching and learning solutions designed to address pedagogical problems frequently experienced by international students in the areas of communication, academic skills, teaching and learning conceptualization, and moving from rote learning to critical thinking. The blended learning solutions are analysed through the lens of critical theory

Learning intentions and success criteria: learners' and teachers' views

It is generally accepted that Assessment for Learning (AfL) strategies are effective in teaching and learning. Approaches within this framework include the use of formative feedback, self and peer assessment and setting and discussion of learning intentions (LIs) and success criteria (SC). There has been a great deal of research into AfL strategies, but perhaps less into the way that the use of LIs and SC are actually perceived by teachers and their pupils. The purpose of the research described in this paper was to investigate teachers’ and pupils’ perceptions of AfL strategies, focusing specifically on LIs and SC within lessons. Findings showed that while both cohorts agreed on the usefulness of LIs and SC, in practice they were rarely discussed in class. Teachers displayed a variety of understandings regarding their purpose, and some learners, while appreciating their value for revision purposes, also expressed frustration at the tokenistic way in which they were implemented. The results of this study could be helpful in informing the wider education community about how LIs and SC are viewed by teachers and learners with a view to ensure understandings are consistent with research and policy through focused professional development courses

Mobility in higher education: new need to improve it?

The aim of The Bologna Process is, amongst others, to improve the mobility of students in Higher Education. The Erasmus programme helps students to study in other European Universities, know other countries, live another culture (folklore, food, language, etc.), develop autonomy and mature as an adult person. In Cadiz, Spain, the international seminar “Improving mobility through collaborative exchange” took place in May 2015. The participants were universities of Glasgow (UK), Madeira (Portugal), Gazi (Turkey), Linz (Austria), Zielona Gora (Poland) and Cadiz (Spain). Representatives from those countries expressed concern about problems that students might suffer during mobility. The literature has pointed out that the economic, social and academic stresses they experience can, in some cases, generate or exacerbate mental disorders (Bradley, 2000) and generate depression and anxiety (Russell et al, 2010; Ying & Han, 2006) which can even manifest itself in somatic symptoms (Mori, 2000); this could involve classroom absences and drug taking as side effects.This study describes the positive experiences of five University of Cadiz Erasmus students under a collaborative exchange between the universities, detailing the measures taken by the host universities to address potential stressful issues

Professional partnership between universities and schools: the use of a diagnostic tool to support development of student teachers’ professional skills

This paper describes a case study concerning a student teacher at risk of failing a teaching placement, who was supported by colleagues and university tutors through the use of a diagnostic tool in the form of a checklist. The checklist comprised a number of categories relating to aspects of teaching and learning within the classroom and was used consistently by staff to provide feedback to the student and as a basis for discussion and evaluation of his lessons. Scrutiny of the checklists, completed over a four week period, staff questionnaires and staff and student interviews indicate that the student and teaching staff found the tool user friendly and helpful in identifying areas of good practice and those requiring development. Other benefits for the student included the development of a pro-active approach to planning lessons and reflection on practice. The tool may be useful as a means of providing formative feedback and initiating dialogue relating to practice, particularly at an early stage of a teaching career