🏒#HockeyLínea | ¡El mejor hockey línea no para con la disputa del tercer día del Cto. de España de selecciones autonómicas masculino y femenino!
Nos esperan muchos encuentros, los cuartos de final y las semifinales 🔥
📺 En directo aquí: https://t.co/OfN6dEngGg
Pionera en Verificación de Software premiada en Sagunt: "La falta de diversidad es uno de los mayores desafíos para crear una tecnología imparcial y justa" https://t.co/1Ljjfcwpgg
A number of people are talking about implications of AI to schools. I spoke about some of my thoughts to a school board earlier, some highlights:
1. You will never be able to detect the use of AI in homework. Full stop. All "detectors" of AI imo don't really work, can be defeated in various ways, and are in principle doomed to fail. You have to assume that any work done outside classroom has used AI.
2. Therefore, the majority of grading has to shift to in-class work (instead of at-home assignments), in settings where teachers can physically monitor students. The students remain motivated to learn how to solve problems without AI because they know they will be evaluated without it in class later.
3. We want students to be able to use AI, it is here to stay and it is extremely powerful, but we also don't want students to be naked in the world without it. Using the calculator as an example of a historically disruptive technology, school teaches you how to do all the basic math & arithmetic so that you can in principle do it by hand, even if calculators are pervasive and greatly speed up work in practical settings. In addition, you understand what it's doing for you, so should it give you a wrong answer (e.g. you mistyped "prompt"), you should be able to notice it, gut check it, verify it in some other way, etc. The verification ability is especially important in the case of AI, which is presently a lot more fallible in a great variety of ways compared to calculators.
4. A lot of the evaluation settings remain at teacher's discretion and involve a creative design space of no tools, cheatsheets, open book, provided AI responses, direct internet/AI access, etc.
TLDR the goal is that the students are proficient in the use of AI, but can also exist without it, and imo the only way to get there is to flip classes around and move the majority of testing to in class settings.
La música es arte, pero también es esfuerzo, disciplina y entrega. Los músicos dedican su vida a emocionar y a construir cultura.
Hoy he escuchado las propuestas de AMPOS para continuar mejorando sus condiciones laborales.
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'26), co-located with POPL'26 in Rennes, France is calling for papers!
Submission deadline: Friday 24 Oct 2025
https://t.co/HxXVHn3ptC
Ya está aquí la II Jornada Nacional de Mujeres en Ingeniería Informática! 💜👩💻 El 27 de junio nos vemos en Hotel Puerta del Camino de Santiago para compartir experiencias, impulsar el talento femenino y entregar el Premio Ángela Ruiz-Robles
@cciinfor
https://t.co/2eiyUjnJ45
📣LOPSTR 2025 is part of ICLP this year and it will take place in Rende (Italy)!
Prepare your papers and join us in Rende!
🗓️abstract submission: May 9, 2025
🗓️paper submission: May 16, 2025
🗓️symposium: September 9-10, 2025
More info here 👉 https://t.co/HOcd6gtefA
📌 #VRAIN es un centro de investigación de la @UPV con una trayectoria de más de 30 años en la investigación de la inteligencia artificial.
🚀Conoce cómo es uno de los institutos de investigación más destacados en su campo a nivel nacional e internacional.
El martes 17/12/2024 a las 16:00, nuestro compañero Ricardo Peña (@unicomplutense) impartirá el seminario @sistedes "Tecnologías para prevenir los errores del software", gratuito y abierto a cualquier persona interesada.
Inscripción disponible en breve en https://t.co/pZDE34k2aN
📽️ El Instituto Universitario Valenciano de Investigación en Inteligencia Artificial (VRAIN) es un centro de investigación de la @UPV con una consolidada trayectoria de más de 30 años en la investigación de la inteligencia artificial.