Computer Science & Engineering Association, NIT Calicut

“The test of the machine is the satisfaction it gives you."
If only it were that simple with software. The Computer Science and Engineering Association is back with a talk, this time highlighting the pursuit of reliability in software development. The session led by Ganesh Gopalakrishnan, Professor, School of Computing, University of Utah, Salt Lake City (Website: https://www.cs.utah.edu/~ganesh), will cover the basics of light-weight formal methods and more recent developments, from the design of provably correct software to software that learns from examples.

Isn't a working code good enough? Join us to find out what you're missing.

Topic: The Journey to Reliable Software
Date: March 4th, 2020 (Thursday)
Time: 7:00 PM IST
Meeting Link: https://nitcalicut.webex.com/nitcalicut/onstage/g.php?MTID=e978ea1c89ad152014b1cd830c93e5ef9
(Join with NITC email)

(If possible, do watch this video before the talk: https://bit.ly/TeachJoveAutomata.
Also, visit http://formal.cs.utah.edu:8080/pbl/BDD.php for interactive examples of vintage 1995 formal methods technologies Intel began using, which will also be covered in the talk.)

The Computer Science and Engineering Association in collaboration with IncubateIND would like to invite you to participate in Code Innovation Series NIT Calicut, a hackathon powered by GitHub organized exclusively for NITC students.

Details about the Hackathon are listed below :

Date: 28th Feb 2021
Duration: 24 hrs.
Number of Team Members: 1-4
Challenges: Education, Healthtech, and Fintech

Registration is free of charge. Click on the link to register: http://incubateind.com/hack/nitcalicut
(Registration closes on 26th Feb 2021)

To submit your project ideas, visit https://github.com/NIT-C/CISHack-NITCalicut. Instructions on how to submit are available in the same GitHub repository. Any ideas related to the aforementioned challenges are welcome.
Last day to submit project ideas: 27th Feb 2021

The top 3 winners will receive exciting goodies from GitHub. Do not miss out on this opportunity to create innovative technologies and win some goodies!

Greetings!

The Computer Science and Engineering Association, Institute Innovation Council, and the AI Club are organizing Intro to Object Detection, a 2-day workshop on Artificial Intelligence. The workshop will focus on building a model in python programming language that is capable of detecting objects.

Date: 28th - 29th November

The workshop is open to all students irrespective of branch and year of study.

Interested students kindly register on or before 27th Nov (Friday) in the link given below.

Registration link: https://forms.gle/T7snJgrpFkfEYXV69 (Free registration)

Check out the latest edition of Interview Diaries!
Issue-8

Company - Amdocs
1. SOFTWARE ENGINEER
2. SOFTWARE ENGINEERING ASSOCIATE
3.SOFTWARE ENGINEERING ASSOCIATE

Company - John Deere
4. GRADUATE ENGINEER TRAINEE

Company - Big Binary
5. SOFTWARE ENGINEER

Company - Radisys
6. SOFTWARE ENGINEER

Company - Itron
7. FULL-TIME

Company - GE Transportation
8. MTECH - FULL TIME

http://sites.google.com/nitc.ac.in/interviewdiaries/home
( Use NITC mail id to access)